mirror of https://github.com/rust-lang/rust
27 lines
694 B
Rust
27 lines
694 B
Rust
// 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() {
|
|
}
|