| // Test that ! errors when used in illegal positions with feature(never_type) disabled |
| |
| trait Foo { |
| type Wub; |
| } |
| |
| type Ma = (u32, !, i32); //~ ERROR type is experimental |
| type Meeshka = Vec<!>; //~ ERROR type is experimental |
| type Mow = &'static fn(!) -> !; //~ ERROR type is experimental |
| type Skwoz = &'static mut !; //~ ERROR type is experimental |
| |
| impl Foo for Meeshka { |
| type Wub = !; //~ ERROR type is experimental |
| } |
| |
| fn look_ma_no_feature_gate<F: FnOnce() -> !>() {} //~ ERROR type is experimental |
| fn tadam(f: &dyn Fn() -> !) {} //~ ERROR type is experimental |
| fn panic() -> ! { |
| panic!(); |
| } |
| fn toudoum() -> impl Fn() -> ! { //~ ERROR type is experimental |
| panic |
| } |
| |
| fn main() { |
| } |