tests/ui/never_type/never-type-arg.rs


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

// Test that we can use ! as an argument to a trait impl.

// check-pass

#![feature(never_type)]

struct Wub;

impl PartialEq<!> for Wub {
    fn eq(&self, other: &!) -> bool {
        *other
    }
}

fn main() {
    let _ = Wub == panic!("oh no!");
}