diff options
Diffstat (limited to 'src/test/ui/coherence/strict-coherence-needs-negative-coherence.rs')
| -rw-r--r-- | src/test/ui/coherence/strict-coherence-needs-negative-coherence.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/test/ui/coherence/strict-coherence-needs-negative-coherence.rs b/src/test/ui/coherence/strict-coherence-needs-negative-coherence.rs new file mode 100644 index 000000000..221683dd5 --- /dev/null +++ b/src/test/ui/coherence/strict-coherence-needs-negative-coherence.rs @@ -0,0 +1,7 @@ +#![feature(rustc_attrs)] + +#[rustc_strict_coherence] +trait Foo {} +//~^ ERROR to use `strict_coherence` on this trait, the `with_negative_coherence` feature must be enabled + +fn main() {} |