summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type-alias-impl-trait/implied_lifetime_wf_check4_static.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/implied_lifetime_wf_check4_static.rs')
-rw-r--r--src/test/ui/type-alias-impl-trait/implied_lifetime_wf_check4_static.rs11
1 files changed, 0 insertions, 11 deletions
diff --git a/src/test/ui/type-alias-impl-trait/implied_lifetime_wf_check4_static.rs b/src/test/ui/type-alias-impl-trait/implied_lifetime_wf_check4_static.rs
deleted file mode 100644
index ac32dbde0..000000000
--- a/src/test/ui/type-alias-impl-trait/implied_lifetime_wf_check4_static.rs
+++ /dev/null
@@ -1,11 +0,0 @@
-#![feature(type_alias_impl_trait)]
-
-mod test_type_param_static {
- type Ty<A> = impl Sized + 'static;
- //~^ ERROR: the parameter type `A` may not live long enough
- fn defining<A: 'static>(s: A) -> Ty<A> { s }
- fn assert_static<A: 'static>() {}
- fn test<A>() where Ty<A>: 'static { assert_static::<A>() }
-}
-
-fn main() {}