diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-09-23 07:18:33 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-09-23 07:18:33 +0000 |
| commit | e237aaef25db05a7f18c1a32b248fdaa06ff8669 (patch) | |
| tree | 1e93cb969a0c2269c3c517756d2fb2a34469bb79 /src | |
| parent | e9d219e97c9b87e928d131ac071fef96e906c464 (diff) | |
| download | rust-e237aaef25db05a7f18c1a32b248fdaa06ff8669.tar.gz rust-e237aaef25db05a7f18c1a32b248fdaa06ff8669.zip | |
Some test cleanups
Diffstat (limited to 'src')
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() {} |