src/test/ui/specialization/specialization-overlap-negative.rs

   1 #![feature(negative_impls)]
   2 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
   3
   4 trait MyTrait {}
   5
   6 struct TestType<T>(::std::marker::PhantomData<T>);
   7
   8 unsafe impl<T: Clone> Send for TestType<T> {}
   9 impl<T: MyTrait> !Send for TestType<T> {} //~ ERROR E0751
  10
  11 fn main() {}