Skip to content

Commit 8242463

Browse files
committed
bless output of ui test impl-trait/multiple-lifetimes/error-handling.rs
Some impl Trait fixes lead to locating more accurately the cause of a universal region error with a user annotation
1 parent fcd12bd commit 8242463

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

src/test/ui/impl-trait/multiple-lifetimes/error-handling.polonius.stderr

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,13 @@
11
error: lifetime may not live long enough
2-
--> $DIR/error-handling.rs:13:56
2+
--> $DIR/error-handling.rs:23:16
33
|
44
LL | fn foo<'a, 'b, 'c>(x: &'static i32, mut y: &'a i32) -> E<'b, 'c> {
5-
| -- -- lifetime `'b` defined here ^^^^^^^^^ opaque type requires that `'a` must outlive `'b`
5+
| -- -- lifetime `'b` defined here
66
| |
77
| lifetime `'a` defined here
8+
...
9+
LL | let _: &'b i32 = *u.0;
10+
| ^^^^^^^ type annotation requires that `'a` must outlive `'b`
811
|
912
= help: consider adding the following bound: `'a: 'b`
1013

0 commit comments

Comments
 (0)