Auto merge of #43618 - SimonSapin:nomiconup, r=steveklabnik
Auto merge of #43618 - SimonSapin:nomiconup, r=steveklabnik

Update nomicon

(This should have been in https://github.com/rust-lang/rust/pull/42959.)

aidancully/rust,GBGamer/rust,GBGamer/rust,GBGamer/rust,graydon/rust,graydon/rust,aidancully/rust,aidancully/rust,aidancully/rust,GBGamer/rust,GBGamer/rust,graydon/rust,GBGamer/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,GBGamer/rust,graydon/rust,GBGamer/rust