Skip to content

Port #[non_exhaustive] to the new attribute parsing infrastructure#143085

Merged
bors merged 1 commit into
rust-lang:masterfrom
JonathanBrouwer:non_exhaustive_parser
Jul 5, 2025
Merged

Port #[non_exhaustive] to the new attribute parsing infrastructure#143085
bors merged 1 commit into
rust-lang:masterfrom
JonathanBrouwer:non_exhaustive_parser

Port `#[non_exhaustive]` to the new attribute parsing infrastructure

027126c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.