diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-02-11 07:17:16 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-02-11 07:17:16 +0000 |
| commit | 2d8b8f359312210e34b251906179484ffc7287c6 (patch) | |
| tree | d6ae4df9b5928aa69d505162652e4d397dfe181e /src/test/ui/impl-trait | |
| parent | 7a71b7a99e6744097c1882a785f88e1aac3acfa0 (diff) | |
| download | rust-2d8b8f359312210e34b251906179484ffc7287c6.tar.gz rust-2d8b8f359312210e34b251906179484ffc7287c6.zip | |
Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk"
This reverts commit 1f0a96862ac9d4c6ca3e4bb500c8b9eac4d83049, reversing changes made to bf242bb1199e25ca2274df5c4114e0c9436b74e9.
Diffstat (limited to 'src/test/ui/impl-trait')
| -rw-r--r-- | src/test/ui/impl-trait/issues/issue-88236-2.nll.stderr | 28 |
1 files changed, 8 insertions, 20 deletions
diff --git a/src/test/ui/impl-trait/issues/issue-88236-2.nll.stderr b/src/test/ui/impl-trait/issues/issue-88236-2.nll.stderr index 9cf8ff76c87..86323add779 100644 --- a/src/test/ui/impl-trait/issues/issue-88236-2.nll.stderr +++ b/src/test/ui/impl-trait/issues/issue-88236-2.nll.stderr @@ -1,20 +1,14 @@ -error: implementation of `Hrtb` is not general enough +error: higher-ranked subtype error --> $DIR/issue-88236-2.rs:17:5 | LL | &() - | ^^^ implementation of `Hrtb` is not general enough - | - = note: `Hrtb<'0>` would have to be implemented for the type `&()`, for any lifetime `'0`... - = note: ...but `Hrtb<'1>` is actually implemented for the type `&'1 ()`, for some specific lifetime `'1` + | ^^^ -error: implementation of `Hrtb` is not general enough +error: higher-ranked subtype error --> $DIR/issue-88236-2.rs:17:5 | LL | &() - | ^^^ implementation of `Hrtb` is not general enough - | - = note: `Hrtb<'0>` would have to be implemented for the type `&()`, for any lifetime `'0`... - = note: ...but `Hrtb<'1>` is actually implemented for the type `&'1 ()`, for some specific lifetime `'1` + | ^^^ error: lifetime may not live long enough --> $DIR/issue-88236-2.rs:20:5 @@ -29,23 +23,17 @@ help: to allow this `impl Trait` to capture borrowed data with lifetime `'b`, ad LL | fn make_bad_impl<'b>(x: &'b ()) -> impl for<'a> Hrtb<'a, Assoc = impl Send + 'a> + 'b { | ++++ -error: implementation of `Hrtb` is not general enough +error: higher-ranked subtype error --> $DIR/issue-88236-2.rs:20:5 | LL | x - | ^ implementation of `Hrtb` is not general enough - | - = note: `Hrtb<'0>` would have to be implemented for the type `&()`, for any lifetime `'0`... - = note: ...but `Hrtb<'1>` is actually implemented for the type `&'1 ()`, for some specific lifetime `'1` + | ^ -error: implementation of `Hrtb` is not general enough +error: higher-ranked subtype error --> $DIR/issue-88236-2.rs:20:5 | LL | x - | ^ implementation of `Hrtb` is not general enough - | - = note: `Hrtb<'0>` would have to be implemented for the type `&()`, for any lifetime `'0`... - = note: ...but `Hrtb<'1>` is actually implemented for the type `&'1 ()`, for some specific lifetime `'1` + | ^ error: aborting due to 5 previous errors |