diff options
Diffstat (limited to 'src/test')
3 files changed, 6 insertions, 14 deletions
diff --git a/src/test/ui/generic-associated-types/issue-86218-2.rs b/src/test/ui/generic-associated-types/issue-86218-2.rs index 897836af6b0..63c839ea871 100644 --- a/src/test/ui/generic-associated-types/issue-86218-2.rs +++ b/src/test/ui/generic-associated-types/issue-86218-2.rs @@ -17,7 +17,6 @@ trait Yay<AdditionalValue> { impl<T> Yay<T> for () { type InnerStream<'s> = impl Stream<Item = i32> + 's; - //^ ERROR does not fulfill the required lifetime fn foo<'s>() -> Self::InnerStream<'s> { () } } diff --git a/src/test/ui/type-alias-impl-trait/implied_lifetime_wf_check2.rs b/src/test/ui/type-alias-impl-trait/implied_lifetime_wf_check2.rs deleted file mode 100644 index 4f52f7a34af..00000000000 --- a/src/test/ui/type-alias-impl-trait/implied_lifetime_wf_check2.rs +++ /dev/null @@ -1,13 +0,0 @@ -#![feature(type_alias_impl_trait)] - -// check-pass - -trait Tr { type Assoc; } -impl<'a> Tr for &'a str { type Assoc = &'a str; } - -type OpaqueTy<'a> = impl Tr; -fn defining(s: &str) -> OpaqueTy<'_> { s } - -// now we must be able to conclude `'a: 'static` from `Opaque<'a>: 'static` - -fn main() {} diff --git a/src/test/ui/type-alias-impl-trait/unbounded_opaque_type.rs b/src/test/ui/type-alias-impl-trait/unbounded_opaque_type.rs index a5ab3e1acae..f43ad7dce1d 100644 --- a/src/test/ui/type-alias-impl-trait/unbounded_opaque_type.rs +++ b/src/test/ui/type-alias-impl-trait/unbounded_opaque_type.rs @@ -5,4 +5,10 @@ type Opaque<T> = impl Sized; fn defining<T>() -> Opaque<T> {} struct Ss<'a, T>(&'a Opaque<T>); + +fn test<'a, T>(_: Ss<'a, T>) { + // test that we have an implied bound `Opaque<T>: 'a` from fn signature + None::<&'a Opaque<T>>; +} + fn main() {} |