diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-05-28 16:05:13 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-05-29 09:27:07 +0000 |
| commit | 39b39da40beed5e4e555a1465dd0413b04afe91e (patch) | |
| tree | 7d050901028ca682a4a3f482cf3be52516f73202 /tests/ui/impl-trait/nested-rpit-hrtb.rs | |
| parent | a04ac26a9d059809bee2daf778a9d92770963a81 (diff) | |
| download | rust-39b39da40beed5e4e555a1465dd0413b04afe91e.tar.gz rust-39b39da40beed5e4e555a1465dd0413b04afe91e.zip | |
Stop proving outlives constraints on regions we already reported errors on
Diffstat (limited to 'tests/ui/impl-trait/nested-rpit-hrtb.rs')
| -rw-r--r-- | tests/ui/impl-trait/nested-rpit-hrtb.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tests/ui/impl-trait/nested-rpit-hrtb.rs b/tests/ui/impl-trait/nested-rpit-hrtb.rs index 9b18aceb4a7..11d79bcff73 100644 --- a/tests/ui/impl-trait/nested-rpit-hrtb.rs +++ b/tests/ui/impl-trait/nested-rpit-hrtb.rs @@ -31,7 +31,6 @@ fn one_hrtb_trait_param() -> impl for<'a> Foo<'a, Assoc = impl Qux<'a>> {} fn one_hrtb_outlives_uses() -> impl for<'a> Bar<'a, Assoc = impl Sized + 'a> {} //~^ ERROR `impl Trait` cannot capture higher-ranked lifetime from outer `impl Trait` -//~| ERROR implementation of `Bar` is not general enough fn one_hrtb_trait_param_uses() -> impl for<'a> Bar<'a, Assoc = impl Qux<'a>> {} //~^ ERROR `impl Trait` cannot capture higher-ranked lifetime from outer `impl Trait` @@ -64,6 +63,5 @@ fn two_htrb_trait_param_uses() -> impl for<'a> Bar<'a, Assoc = impl for<'b> Qux< // `'b` is not in scope for the outlives bound. fn two_htrb_outlives_uses() -> impl for<'a> Bar<'a, Assoc = impl for<'b> Sized + 'b> {} //~^ ERROR use of undeclared lifetime name `'b` [E0261] -//~| ERROR implementation of `Bar` is not general enough fn main() {} |