diff options
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.rs | 11 |
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() {} |