Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
bless region-multiple-lifetime-bounds-on-fns-where-clause under polonius
The diagnostics are either the same or better than NLLs: an error that is seen in the compare-mode, but not visible in the NLL output (probably because of early return in case of error) is visible in the polonius output. A duplicate error is emitted because of a suggestion on the universal regions.
- Loading branch information
Showing
1 changed file
with
82 additions
and
0 deletions.
There are no files selected for viewing
82 changes: 82 additions & 0 deletions
82
src/test/ui/regions/region-multiple-lifetime-bounds-on-fns-where-clause.polonius.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 |
---|---|---|
@@ -0,0 +1,82 @@ | ||
error: lifetime may not live long enough | ||
--> $DIR/region-multiple-lifetime-bounds-on-fns-where-clause.rs:9:5 | ||
| | ||
LL | fn b<'a, 'b, 'c>(x: &mut &'a isize, y: &mut &'b isize, z: &mut &'c isize) { | ||
| -- -- lifetime `'b` defined here | ||
| | | ||
| lifetime `'a` defined here | ||
LL | // Illegal now because there is no `'b:'a` declaration. | ||
LL | *x = *y; | ||
| ^^^^^^^ assignment requires that `'b` must outlive `'a` | ||
| | ||
= help: consider adding the following bound: `'b: 'a` | ||
|
||
error: lifetime may not live long enough | ||
--> $DIR/region-multiple-lifetime-bounds-on-fns-where-clause.rs:10:5 | ||
| | ||
LL | fn b<'a, 'b, 'c>(x: &mut &'a isize, y: &mut &'b isize, z: &mut &'c isize) { | ||
| -- -- lifetime `'c` defined here | ||
| | | ||
| lifetime `'b` defined here | ||
... | ||
LL | *z = *y; | ||
| ^^^^^^^ assignment requires that `'b` must outlive `'c` | ||
| | ||
= help: consider adding the following bound: `'b: 'c` | ||
|
||
help: add bound `'b: 'a + 'c` | ||
|
||
error: lifetime may not live long enough | ||
--> $DIR/region-multiple-lifetime-bounds-on-fns-where-clause.rs:16:5 | ||
| | ||
LL | fn c<'a,'b, 'c>(x: &mut &'a isize, y: &mut &'b isize, z: &mut &'c isize) { | ||
| -- -- lifetime `'b` defined here | ||
| | | ||
| lifetime `'a` defined here | ||
... | ||
LL | a(x, y, z); | ||
| ^^^^^^^^^^ argument requires that `'b` must outlive `'a` | ||
| | ||
= help: consider adding the following bound: `'b: 'a` | ||
= note: requirement occurs because of a mutable reference to &isize | ||
= note: mutable references are invariant over their type parameter | ||
= help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance | ||
|
||
error: lifetime may not live long enough | ||
--> $DIR/region-multiple-lifetime-bounds-on-fns-where-clause.rs:16:5 | ||
| | ||
LL | fn c<'a,'b, 'c>(x: &mut &'a isize, y: &mut &'b isize, z: &mut &'c isize) { | ||
| -- -- lifetime `'c` defined here | ||
| | | ||
| lifetime `'b` defined here | ||
... | ||
LL | a(x, y, z); | ||
| ^^^^^^^^^^ argument requires that `'b` must outlive `'c` | ||
| | ||
= help: consider adding the following bound: `'b: 'c` | ||
= note: requirement occurs because of a mutable reference to &isize | ||
= note: mutable references are invariant over their type parameter | ||
= help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance | ||
|
||
help: add bound `'b: 'a + 'c` | ||
|
||
error: higher-ranked subtype error | ||
--> $DIR/region-multiple-lifetime-bounds-on-fns-where-clause.rs:22:12 | ||
| | ||
LL | let _: fn(&mut &isize, &mut &isize, &mut &isize) = a; | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ||
|
||
error: higher-ranked subtype error | ||
--> $DIR/region-multiple-lifetime-bounds-on-fns-where-clause.rs:22:12 | ||
| | ||
LL | let _: fn(&mut &isize, &mut &isize, &mut &isize) = a; | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ||
|
||
error: higher-ranked subtype error | ||
--> $DIR/region-multiple-lifetime-bounds-on-fns-where-clause.rs:22:12 | ||
| | ||
LL | let _: fn(&mut &isize, &mut &isize, &mut &isize) = a; | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ||
|
||
error: aborting due to 7 previous errors | ||
|