diff options
Diffstat (limited to 'src/test/ui/feature-gates/feature-gate-never_type.rs')
-rw-r--r-- | src/test/ui/feature-gates/feature-gate-never_type.rs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/feature-gates/feature-gate-never_type.rs b/src/test/ui/feature-gates/feature-gate-never_type.rs new file mode 100644 index 000000000..be8c27dbb --- /dev/null +++ b/src/test/ui/feature-gates/feature-gate-never_type.rs @@ -0,0 +1,17 @@ +// 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 main() { +} |