-
Notifications
You must be signed in to change notification settings - Fork 12.8k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of #121743 - compiler-errors:opportunistically-resolve-r…
…egions, r=jackh726 Opportunistically resolve regions when processing region outlives obligations Due to the matching in `TypeOutlives` being structural, we should attempt to opportunistically resolve regions before processing region obligations. Thanks ``@lcnr`` for finding this. r? lcnr
- Loading branch information
Showing
3 changed files
with
14 additions
and
18 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
20 changes: 4 additions & 16 deletions
20
tests/ui/implied-bounds/impl-implied-bounds-compatibility.stderr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,32 +1,20 @@ | ||
error[E0495]: cannot infer an appropriate lifetime for lifetime parameter 'b in generic type due to conflicting requirements | ||
error[E0491]: in type `&'a MessageListeners<'_>`, reference has a longer lifetime than the data it references | ||
--> $DIR/impl-implied-bounds-compatibility.rs:12:5 | ||
| | ||
LL | fn listeners<'b>(&'b self) -> &'a MessageListeners<'b> { | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ||
| | ||
note: first, the lifetime cannot outlive the lifetime `'c` as defined here... | ||
--> $DIR/impl-implied-bounds-compatibility.rs:12:5 | ||
| | ||
LL | fn listeners<'b>(&'b self) -> &'a MessageListeners<'b> { | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ||
note: ...so that the method type is compatible with trait | ||
--> $DIR/impl-implied-bounds-compatibility.rs:12:5 | ||
| | ||
LL | fn listeners<'b>(&'b self) -> &'a MessageListeners<'b> { | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ||
= note: expected `fn(&'c MessageListeners<'_>) -> &'c MessageListeners<'c>` | ||
found `fn(&MessageListeners<'_>) -> &'a MessageListeners<'_>` | ||
note: but, the lifetime must be valid for the lifetime `'a` as defined here... | ||
note: the pointer is valid for the lifetime `'a` as defined here | ||
--> $DIR/impl-implied-bounds-compatibility.rs:11:6 | ||
| | ||
LL | impl<'a> MessageListenersInterface for MessageListeners<'a> { | ||
| ^^ | ||
note: ...so that the reference type `&'a MessageListeners<'_>` does not outlive the data it points at | ||
note: but the referenced data is only valid for the lifetime `'c` as defined here | ||
--> $DIR/impl-implied-bounds-compatibility.rs:12:5 | ||
| | ||
LL | fn listeners<'b>(&'b self) -> &'a MessageListeners<'b> { | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ||
|
||
error: aborting due to 1 previous error | ||
|
||
For more information about this error, try `rustc --explain E0495`. | ||
For more information about this error, try `rustc --explain E0491`. |