Closed
Description
The docs for core::prelude
just say "for more information, see std::prelude
."
But the std::prelude
does not mention core::prelude
in its code nor in its documentation. As far as I can tell, it is not used by any of the libraries.
As far as I can tell, all of our prelude injection code in rustc is solely devoted to injecting the std::prelude
.
Is the intent here that after someone says #[no_prelude]
that they might follow that up with use core::prelude::*
? If so, it might be worthwhile to just mention that in the doc for core::prelude
.
Metadata
Metadata
Assignees
Labels
No labels