summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type-alias-impl-trait/generic_type_does_not_live_long_enough.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/generic_type_does_not_live_long_enough.rs')
-rw-r--r--src/test/ui/type-alias-impl-trait/generic_type_does_not_live_long_enough.rs16
1 files changed, 0 insertions, 16 deletions
diff --git a/src/test/ui/type-alias-impl-trait/generic_type_does_not_live_long_enough.rs b/src/test/ui/type-alias-impl-trait/generic_type_does_not_live_long_enough.rs
deleted file mode 100644
index cb9077647..000000000
--- a/src/test/ui/type-alias-impl-trait/generic_type_does_not_live_long_enough.rs
+++ /dev/null
@@ -1,16 +0,0 @@
-#![feature(type_alias_impl_trait)]
-
-fn main() {
- let y = 42;
- let x = wrong_generic(&y);
- let z: i32 = x;
- //~^ ERROR non-defining opaque type use
-}
-
-type WrongGeneric<T> = impl 'static;
-//~^ ERROR: at least one trait must be specified
-
-fn wrong_generic<T>(t: T) -> WrongGeneric<T> {
- t
- //~^ ERROR the parameter type `T` may not live long enough
-}