blob: fe170bafc666a2ccf038707396c94b4e39ed5128 [file] [log] [blame]
//@ pretty-mode:expanded
//@ pp-exact:never-pattern.pp
//@ only-x86_64
#![allow(incomplete_features)]
#![feature(never_patterns)]
#![feature(never_type)]
fn f(x: Result<u32, !>) {
_ = match x {
Ok(x) => x,
Err(!),
};
}
fn main() {}