Tracking issue for Consistent no-prelude attribute (RFC 501)

[aturon]

rust-lang/rfcs#501

[aturon]

cc @Kimundi

[bombless]

I think in theory primitive type definitions come from std::*.
So if no_std or no_prelude is on there should not been primitive type definitions.
And I suggest we make alias of primitive types to a place like std::primitive_definition::*, so we write codes below to perform as no_std today:

#![no_std]
use std::primitive_definition::*

I know this change sounds trivial but current behavior is pretty ugly, see #22093
cc @mahkoh

[steveklabnik]

Triage: so. This RFC happened pre-1.0, yet never landed. And it seems no_implicit_prelude does work on stable today. So, this would have to not be a re-naming, but a deprecation + new name?

[Kimundi]

Seems there has been a patch to implement this early this year, but it bitrottet: #32025

[pnkfelix]

@rustbot label +S-tracking-design-concerns

As noted by @petrochenkov here and @oli-obk here, its not clear if this change is still well-motivated.