diff options
Diffstat (limited to 'src/test/ui/coherence/coherence-conflicting-negative-trait-impl.rs')
-rw-r--r-- | src/test/ui/coherence/coherence-conflicting-negative-trait-impl.rs | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/test/ui/coherence/coherence-conflicting-negative-trait-impl.rs b/src/test/ui/coherence/coherence-conflicting-negative-trait-impl.rs deleted file mode 100644 index 24b878927..000000000 --- a/src/test/ui/coherence/coherence-conflicting-negative-trait-impl.rs +++ /dev/null @@ -1,17 +0,0 @@ -#![feature(negative_impls)] -#![feature(marker_trait_attr)] - -#[marker] -trait MyTrait {} - -struct TestType<T>(::std::marker::PhantomData<T>); - -unsafe impl<T: MyTrait + 'static> Send for TestType<T> {} - -impl<T: MyTrait> !Send for TestType<T> {} //~ ERROR found both positive and negative implementation - -unsafe impl<T: 'static> Send for TestType<T> {} //~ ERROR conflicting implementations - -impl !Send for TestType<i32> {} - -fn main() {} |