diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2019-11-27 16:50:42 +0000 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2019-12-02 16:00:24 +0000 |
| commit | 21af89d773cc76eaf7240e4a16f30d4cd29139e1 (patch) | |
| tree | 85aa0d81c470f7c513880127efd5e5ebe76206ab | |
| parent | fe671966796e8bd7e468fcce86893d7a27af08bc (diff) | |
| download | rust-21af89d773cc76eaf7240e4a16f30d4cd29139e1.tar.gz rust-21af89d773cc76eaf7240e4a16f30d4cd29139e1.zip | |
`UsefulWithWitness` always carries some witnesses
| -rw-r--r-- | src/librustc_mir/hair/pattern/check_match.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc_mir/hair/pattern/check_match.rs b/src/librustc_mir/hair/pattern/check_match.rs index 4463fb43583..56f0ace4891 100644 --- a/src/librustc_mir/hair/pattern/check_match.rs +++ b/src/librustc_mir/hair/pattern/check_match.rs @@ -492,7 +492,7 @@ fn check_not_useful( match is_useful(cx, matrix, &PatStack::from_pattern(&wild_pattern), ConstructWitness, hir_id) { NotUseful => Ok(()), // This is good, wildcard pattern isn't reachable. UsefulWithWitness(pats) => Err(if pats.is_empty() { - vec![wild_pattern] + bug!("Exhaustiveness check returned no witnesses") } else { pats.into_iter().map(|w| w.single_pattern()).collect() }), |