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