about summary refs log tree commit diff
path: root/tests/ui/traits/param-without-lifetime-constraint.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/traits/param-without-lifetime-constraint.stderr')
-rw-r--r--tests/ui/traits/param-without-lifetime-constraint.stderr19
1 files changed, 19 insertions, 0 deletions
diff --git a/tests/ui/traits/param-without-lifetime-constraint.stderr b/tests/ui/traits/param-without-lifetime-constraint.stderr
new file mode 100644
index 00000000000..b128b6518ce
--- /dev/null
+++ b/tests/ui/traits/param-without-lifetime-constraint.stderr
@@ -0,0 +1,19 @@
+error: `impl` item signature doesn't match `trait` item signature
+  --> $DIR/param-without-lifetime-constraint.rs:14:5
+   |
+LL |     fn get_relation(&self) -> To;
+   |     ----------------------------- expected `fn(&'1 Article) -> &'2 ProofReader`
+...
+LL |     fn get_relation(&self) -> &ProofReader {
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ found `fn(&'1 Article) -> &'1 ProofReader`
+   |
+   = note: expected signature `fn(&'1 Article) -> &'2 ProofReader`
+              found signature `fn(&'1 Article) -> &'1 ProofReader`
+help: the lifetime requirements from the `impl` do not correspond to the requirements in the `trait`
+  --> $DIR/param-without-lifetime-constraint.rs:10:31
+   |
+LL |     fn get_relation(&self) -> To;
+   |                               ^^ consider borrowing this type parameter in the trait
+
+error: aborting due to previous error
+