Port #[non_exhaustive] to the new attribute parsing infrastructure#143085
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 5, 2025
Merged
Port `#[non_exhaustive]` to the new attribute parsing infrastructure#143085bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
