Prevent more spurious unreachable pattern lints#116715

Merged

bors merged 3 commits intorust-lang:masterfrom Nadrieril:patkind-error

Oct 14, 2023

+108-103

Commits on Oct 14, 2023

Propagate pattern errors via a new PatKind::Error variant
Nadrieril
committed
Use PatKind::Error instead of PatKind::Wild to report errors
Nadrieril
committed
Skip most of check_match checks in the presence of PatKind::Error
Nadrieril
committed