Skip to content

Port #[no_implicit_prelude] to the new attribute parsing infrastructure#143237

Merged
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:no_implicit_prelude_parser
Jul 4, 2025
Merged

Port `#[no_implicit_prelude]` to the new attribute parsing infrastructure#143237
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:no_implicit_prelude_parser

Commits

Commits on Jul 3, 2025