Skip to content

Commit 5d44beb

Browse files
committed
bless test output
1 parent adba6a8 commit 5d44beb

File tree

2 files changed

+3
-6
lines changed

2 files changed

+3
-6
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@ struct CopyIfEq<T, U>(T, U);
88
impl<T: Copy> Copy for CopyIfEq<T, T> {}
99

1010
existential type E<'a, 'b>: Sized;
11-
//~^ ERROR lifetime may not live long enough
1211

1312
fn foo<'a, 'b, 'c>(x: &'static i32, mut y: &'a i32) -> E<'b, 'c> {
13+
//~^ ERROR lifetime may not live long enough
1414
let v = CopyIfEq::<*mut _, *mut _>(&mut {x}, &mut y);
1515
let u = v;
1616
let _: *mut &'a i32 = u.1;

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

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,8 @@
11
error: lifetime may not live long enough
2-
--> $DIR/error-handling.rs:10:1
2+
--> $DIR/error-handling.rs:12:56
33
|
4-
LL | existential type E<'a, 'b>: Sized;
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ opaque type requires that `'a` must outlive `'static`
6-
...
74
LL | fn foo<'a, 'b, 'c>(x: &'static i32, mut y: &'a i32) -> E<'b, 'c> {
8-
| -- lifetime `'a` defined here
5+
| -- lifetime `'a` defined here ^^^^^^^^^ opaque type requires that `'a` must outlive `'static`
96
help: to allow this `impl Trait` to capture borrowed data with lifetime `'a`, add `'a` as a constraint
107
|
118
LL | existential type E<'a, 'b>: Sized; + 'a

0 commit comments

Comments
 (0)