You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.