@@ -9,19 +9,13 @@ error[E0308]: mismatched types
99note: the lifetime 'c as defined on the impl at 30:1...
1010 --> $DIR/trait-associated-constant.rs:30:1
1111 |
12- 30 | / impl<'a: 'b, 'b, 'c> Anything<'a, 'b> for FailStruct1 {
13- 31 | | const AC: Option<&'c str> = None;
14- 32 | | //~^ ERROR: mismatched types
15- 33 | | }
16- | |_^
12+ 30 | impl<'a: 'b, 'b, 'c> Anything<'a, 'b> for FailStruct1 {
13+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1714note: ...does not necessarily outlive the lifetime 'b as defined on the impl at 30:1
1815 --> $DIR/trait-associated-constant.rs:30:1
1916 |
20- 30 | / impl<'a: 'b, 'b, 'c> Anything<'a, 'b> for FailStruct1 {
21- 31 | | const AC: Option<&'c str> = None;
22- 32 | | //~^ ERROR: mismatched types
23- 33 | | }
24- | |_^
17+ 30 | impl<'a: 'b, 'b, 'c> Anything<'a, 'b> for FailStruct1 {
18+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2519
2620error[E0308]: mismatched types
2721 --> $DIR/trait-associated-constant.rs:38:5
@@ -34,19 +28,13 @@ error[E0308]: mismatched types
3428note: the lifetime 'a as defined on the impl at 37:1...
3529 --> $DIR/trait-associated-constant.rs:37:1
3630 |
37- 37 | / impl<'a: 'b, 'b> Anything<'a, 'b> for FailStruct2 {
38- 38 | | const AC: Option<&'a str> = None;
39- 39 | | //~^ ERROR: mismatched types
40- 40 | | }
41- | |_^
31+ 37 | impl<'a: 'b, 'b> Anything<'a, 'b> for FailStruct2 {
32+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
4233note: ...does not necessarily outlive the lifetime 'b as defined on the impl at 37:1
4334 --> $DIR/trait-associated-constant.rs:37:1
4435 |
45- 37 | / impl<'a: 'b, 'b> Anything<'a, 'b> for FailStruct2 {
46- 38 | | const AC: Option<&'a str> = None;
47- 39 | | //~^ ERROR: mismatched types
48- 40 | | }
49- | |_^
36+ 37 | impl<'a: 'b, 'b> Anything<'a, 'b> for FailStruct2 {
37+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5038
5139error: aborting due to 2 previous errors
5240
0 commit comments