summaryrefslogtreecommitdiffstats
path: root/src/test/ui/coherence/strict-coherence-needs-negative-coherence.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/coherence/strict-coherence-needs-negative-coherence.stderr')
-rw-r--r--src/test/ui/coherence/strict-coherence-needs-negative-coherence.stderr10
1 files changed, 10 insertions, 0 deletions
diff --git a/src/test/ui/coherence/strict-coherence-needs-negative-coherence.stderr b/src/test/ui/coherence/strict-coherence-needs-negative-coherence.stderr
new file mode 100644
index 000000000..b54729287
--- /dev/null
+++ b/src/test/ui/coherence/strict-coherence-needs-negative-coherence.stderr
@@ -0,0 +1,10 @@
+error: to use `strict_coherence` on this trait, the `with_negative_coherence` feature must be enabled
+ --> $DIR/strict-coherence-needs-negative-coherence.rs:4:1
+ |
+LL | #[rustc_strict_coherence]
+ | ------------------------- due to this attribute
+LL | trait Foo {}
+ | ^^^^^^^^^
+
+error: aborting due to previous error
+