mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Unreachable subpatterns are rare

Browse Source 
We may as well leave early when we know there's nothing to report.
This commit is contained in:
Nadrieril 2020-11-07 23:45:36 +00:00
parent b025813f03
commit d5a7ec0929
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_mir_build/src/thir/pattern/check_match.rs
View File

@ -389,6 +389,8 @@ fn check_arms<'p, 'tcx>(
hir::MatchSource::AwaitDesugar | hir::MatchSource::TryDesugar => {} hir::MatchSource::AwaitDesugar | hir::MatchSource::TryDesugar => {}
} }
} }
Useful(unreachables) if unreachables.is_empty() => {}
// The arm is reachable, but contains unreachable subpatterns (from or-patterns).
Useful(unreachables) => { Useful(unreachables) => {
let mut unreachables: Vec<_> = unreachables.into_iter().flatten().collect(); let mut unreachables: Vec<_> = unreachables.into_iter().flatten().collect();
// Emit lints in the order in which they occur in the file. // Emit lints in the order in which they occur in the file.