src/test/ui/never_type/auto-traits.rs


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

// check-pass

#![feature(auto_traits)]
#![feature(negative_impls)]
#![feature(never_type)]

fn main() {
    enum Void {}

    auto trait Auto {}
    fn assert_auto<T: Auto>() {}
    assert_auto::<Void>();
    assert_auto::<!>();

    fn assert_send<T: Send>() {}
    assert_send::<Void>();
    assert_send::<!>();
}