Skip to content

Prevent more spurious unreachable pattern lints#116715

Merged
bors merged 3 commits into
rust-lang:masterfrom
Nadrieril:patkind-error
Oct 14, 2023
Merged

Prevent more spurious unreachable pattern lints#116715
bors merged 3 commits into
rust-lang:masterfrom
Nadrieril:patkind-error

Skip most of check_match checks in the presence of `PatKind::Error`

89f75ff
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs