summaryrefslogtreecommitdiffstats
path: root/src/test/ui/coherence/coherence-overlap-negate-alias-strict.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/coherence/coherence-overlap-negate-alias-strict.rs')
-rw-r--r--src/test/ui/coherence/coherence-overlap-negate-alias-strict.rs19
1 files changed, 0 insertions, 19 deletions
diff --git a/src/test/ui/coherence/coherence-overlap-negate-alias-strict.rs b/src/test/ui/coherence/coherence-overlap-negate-alias-strict.rs
deleted file mode 100644
index 48dffc921..000000000
--- a/src/test/ui/coherence/coherence-overlap-negate-alias-strict.rs
+++ /dev/null
@@ -1,19 +0,0 @@
-// check-pass
-
-#![feature(negative_impls)]
-#![feature(rustc_attrs)]
-#![feature(trait_alias)]
-#![feature(with_negative_coherence)]
-
-trait A {}
-trait B {}
-trait AB = A + B;
-
-impl !A for u32 {}
-
-#[rustc_strict_coherence]
-trait C {}
-impl<T: AB> C for T {}
-impl C for u32 {}
-
-fn main() {}