blob: bca2ab565702119f6d3739d151b10cead0f426a1 [file] [log] [blame]
#![feature(never_type)]
#![feature(never_patterns)]
#![allow(incomplete_features)]
enum Void {}
fn foo(x: Void) {
match x {
(!|!) if true => {} //~ ERROR a never pattern is always unreachable
(!|!) if true => {} //~ ERROR a never pattern is always unreachable
}
}
fn main() {}