remove wrong assert in check_match
the assert was invalidated by PR #31020 Fixes #31561
This commit is contained in:
parent
5b5e521869
commit
26a0afbd9f
2 changed files with 21 additions and 4 deletions
|
@ -1047,10 +1047,7 @@ fn is_refutable<A, F>(cx: &MatchCheckCtxt, pat: &Pat, refutable: F) -> Option<A>
|
||||||
{
|
{
|
||||||
let pats = Matrix(vec!(vec!(pat)));
|
let pats = Matrix(vec!(vec!(pat)));
|
||||||
match is_useful(cx, &pats, &[DUMMY_WILD_PAT], ConstructWitness) {
|
match is_useful(cx, &pats, &[DUMMY_WILD_PAT], ConstructWitness) {
|
||||||
UsefulWithWitness(pats) => {
|
UsefulWithWitness(pats) => Some(refutable(&pats[0])),
|
||||||
assert_eq!(pats.len(), 1);
|
|
||||||
Some(refutable(&pats[0]))
|
|
||||||
},
|
|
||||||
NotUseful => None,
|
NotUseful => None,
|
||||||
Useful => unreachable!()
|
Useful => unreachable!()
|
||||||
}
|
}
|
||||||
|
|
20
src/test/compile-fail/issue-31561.rs
Normal file
20
src/test/compile-fail/issue-31561.rs
Normal file
|
@ -0,0 +1,20 @@
|
||||||
|
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
|
||||||
|
// file at the top-level directory of this distribution and at
|
||||||
|
// http://rust-lang.org/COPYRIGHT.
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
||||||
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
||||||
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
||||||
|
// option. This file may not be copied, modified, or distributed
|
||||||
|
// except according to those terms.
|
||||||
|
|
||||||
|
enum Thing {
|
||||||
|
Foo(u8),
|
||||||
|
Bar,
|
||||||
|
Baz
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let Thing::Foo(y) = Thing::Foo(1);
|
||||||
|
//~^ ERROR refutable pattern in local binding: `Bar` not covered
|
||||||
|
}
|
Loading…
Add table
Add a link
Reference in a new issue