summaryrefslogtreecommitdiffstats
path: root/tests/ui/coherence/negative-coherence-placeholder-region-constraints-on-unification.explicit.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/coherence/negative-coherence-placeholder-region-constraints-on-unification.explicit.stderr')
-rw-r--r--tests/ui/coherence/negative-coherence-placeholder-region-constraints-on-unification.explicit.stderr19
1 files changed, 19 insertions, 0 deletions
diff --git a/tests/ui/coherence/negative-coherence-placeholder-region-constraints-on-unification.explicit.stderr b/tests/ui/coherence/negative-coherence-placeholder-region-constraints-on-unification.explicit.stderr
new file mode 100644
index 000000000..5368db293
--- /dev/null
+++ b/tests/ui/coherence/negative-coherence-placeholder-region-constraints-on-unification.explicit.stderr
@@ -0,0 +1,19 @@
+error: conflicting implementations of trait `FnMarker` for type `fn(&_)`
+ --> $DIR/negative-coherence-placeholder-region-constraints-on-unification.rs:21:1
+ |
+LL | impl<T: ?Sized + Marker> FnMarker for fn(T) {}
+ | ------------------------------------------- first implementation here
+LL | impl<T: ?Sized> FnMarker for fn(&T) {}
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `fn(&_)`
+ |
+ = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
+ = note: for more information, see issue #56105 <https://github.com/rust-lang/rust/issues/56105>
+ = note: this behavior recently changed as a result of a bug fix; see rust-lang/rust#56105 for details
+note: the lint level is defined here
+ --> $DIR/negative-coherence-placeholder-region-constraints-on-unification.rs:4:11
+ |
+LL | #![forbid(coherence_leak_check)]
+ | ^^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to 1 previous error
+