diff options
Diffstat (limited to 'tests/ui/lifetimes/lifetime-mismatch-between-trait-and-impl.stderr')
| -rw-r--r-- | tests/ui/lifetimes/lifetime-mismatch-between-trait-and-impl.stderr | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/ui/lifetimes/lifetime-mismatch-between-trait-and-impl.stderr b/tests/ui/lifetimes/lifetime-mismatch-between-trait-and-impl.stderr new file mode 100644 index 000000000..9c61d5a0c --- /dev/null +++ b/tests/ui/lifetimes/lifetime-mismatch-between-trait-and-impl.stderr @@ -0,0 +1,16 @@ +error: `impl` item signature doesn't match `trait` item signature + --> $DIR/lifetime-mismatch-between-trait-and-impl.rs:6:5 + | +LL | fn foo<'a>(x: &i32, y: &'a i32) -> &'a i32; + | ------------------------------------------- expected `fn(&'1 i32, &'a i32) -> &'a i32` +... +LL | fn foo<'a>(x: &'a i32, y: &'a i32) -> &'a i32 { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ found `fn(&'1 i32, &'1 i32) -> &'1 i32` + | + = note: expected signature `fn(&'1 i32, &'a i32) -> &'a i32` + found signature `fn(&'1 i32, &'1 i32) -> &'1 i32` + = help: the lifetime requirements from the `impl` do not correspond to the requirements in the `trait` + = help: verify the lifetime relationships in the `trait` and `impl` between the `self` argument, the other inputs and its output + +error: aborting due to previous error + |