Skip to content

Port #[export_name] to the new attribute parsing infrastructure#142986

Merged
bors merged 2 commits into
rust-lang:masterfrom
JonathanBrouwer:export_name_parser
Jun 27, 2025
Merged

Port #[export_name] to the new attribute parsing infrastructure#142986
bors merged 2 commits into
rust-lang:masterfrom
JonathanBrouwer:export_name_parser

Move mixed export_name/no_mangle check to check_attr.rs and improve t…

3d1cee5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view