Eric Huss

@RalfJung How do you feel about the final wording here?

Is this ready to go?

Thanks @m-ou-se! I think this should be ready to merge after https://github.com/rust-lang/rust/pull/140593 merges.

Since `no_core` is not stable, is the existence of this prelude observable by the user? If not, then we probably wouldn't document it. Can you say why rustdoc can't link...

Can you say where they are treated as part of library prelude? In [names.preludes.lang.entities](https://doc.rust-lang.org/nightly/reference/names/preludes.html#r-names.preludes.lang.entities) it says they are part of the language prelude.