1 // Test that ! errors when used in illegal positions with feature(never_type) disabled 2 3 trait Foo { 4 type Wub; 5 } 6 7 type Ma = (u32, !, i32); //~ ERROR type is experimental 8 type Meeshka = Vec<!>; //~ ERROR type is experimental 9 type Mow = &'static fn(!) -> !; //~ ERROR type is experimental 10 type Skwoz = &'static mut !; //~ ERROR type is experimental 11 12 impl Foo for Meeshka { 13 type Wub = !; //~ ERROR type is experimental 14 } 15 main()16fn main() { 17 } 18