tests/pretty/never-pattern.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//@ 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() {}