src/test/ui/traits/negative-impls/negative-impls-basic.rs

   1 // A simple test that we are able to create negative impls, when the
   2 // feature gate is given.
   3 //
   4 // run-pass
   5
   6 #![feature(negative_impls)]
   7 #![allow(dead_code)]
   8
   9 struct TestType;
  10
  11 trait TestTrait {
  12     fn dummy(&self) {}
  13 }
  14
  15 impl !TestTrait for TestType {}
  16
  17 fn main() {}