summaryrefslogtreecommitdiffstats
path: root/src/test/ui/traits/matching-lifetimes.stderr
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/test/ui/traits/matching-lifetimes.stderr41
1 files changed, 41 insertions, 0 deletions
diff --git a/src/test/ui/traits/matching-lifetimes.stderr b/src/test/ui/traits/matching-lifetimes.stderr
new file mode 100644
index 000000000..de1c878a5
--- /dev/null
+++ b/src/test/ui/traits/matching-lifetimes.stderr
@@ -0,0 +1,41 @@
+error[E0308]: method not compatible with trait
+ --> $DIR/matching-lifetimes.rs:14:5
+ |
+LL | fn foo(x: Foo<'b,'a>) {
+ | ^^^^^^^^^^^^^^^^^^^^^ lifetime mismatch
+ |
+ = note: expected fn pointer `fn(Foo<'a, 'b>)`
+ found fn pointer `fn(Foo<'b, 'a>)`
+note: the lifetime `'b` as defined here...
+ --> $DIR/matching-lifetimes.rs:13:9
+ |
+LL | impl<'a,'b> Tr for Foo<'a,'b> {
+ | ^^
+note: ...does not necessarily outlive the lifetime `'a` as defined here
+ --> $DIR/matching-lifetimes.rs:13:6
+ |
+LL | impl<'a,'b> Tr for Foo<'a,'b> {
+ | ^^
+
+error[E0308]: method not compatible with trait
+ --> $DIR/matching-lifetimes.rs:14:5
+ |
+LL | fn foo(x: Foo<'b,'a>) {
+ | ^^^^^^^^^^^^^^^^^^^^^ lifetime mismatch
+ |
+ = note: expected fn pointer `fn(Foo<'a, 'b>)`
+ found fn pointer `fn(Foo<'b, 'a>)`
+note: the lifetime `'a` as defined here...
+ --> $DIR/matching-lifetimes.rs:13:6
+ |
+LL | impl<'a,'b> Tr for Foo<'a,'b> {
+ | ^^
+note: ...does not necessarily outlive the lifetime `'b` as defined here
+ --> $DIR/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`.