| error[E0308]: method not compatible with trait |
| --> $DIR/trait-matching-lifetimes.rs:14:5 |
| | |
| LL | fn foo(x: Foo<'b,'a>) { |
| | ^^^^^^^^^^^^^^^^^^^^^ lifetime mismatch |
| | |
| = note: expected type `fn(Foo<'a, 'b>)` |
| found type `fn(Foo<'b, 'a>)` |
| note: the lifetime 'b as defined on the impl at 13:9... |
| --> $DIR/trait-matching-lifetimes.rs:13:9 |
| | |
| LL | impl<'a,'b> Tr for Foo<'a,'b> { |
| | ^^ |
| note: ...does not necessarily outlive the lifetime 'a as defined on the impl at 13:6 |
| --> $DIR/trait-matching-lifetimes.rs:13:6 |
| | |
| LL | impl<'a,'b> Tr for Foo<'a,'b> { |
| | ^^ |
| |
| error[E0308]: method not compatible with trait |
| --> $DIR/trait-matching-lifetimes.rs:14:5 |
| | |
| LL | fn foo(x: Foo<'b,'a>) { |
| | ^^^^^^^^^^^^^^^^^^^^^ lifetime mismatch |
| | |
| = note: expected type `fn(Foo<'a, 'b>)` |
| found type `fn(Foo<'b, 'a>)` |
| note: the lifetime 'a as defined on the impl at 13:6... |
| --> $DIR/trait-matching-lifetimes.rs:13:6 |
| | |
| LL | impl<'a,'b> Tr for Foo<'a,'b> { |
| | ^^ |
| note: ...does not necessarily outlive the lifetime 'b as defined on the impl at 13:9 |
| --> $DIR/trait-matching-lifetimes.rs:13:9 |
| | |
| LL | impl<'a,'b> Tr for Foo<'a,'b> { |
| | ^^ |
| |
| error: aborting due to 2 previous errors |
| |
| For more information about this error, try `rustc --explain E0308`. |