src/test/ui/coherence/coherence-orphan.rs

   1 // aux-build:coherence_orphan_lib.rs
   2 #![feature(negative_impls)]
   3
   4 extern crate coherence_orphan_lib as lib;
   5
   6 use lib::TheTrait;
   7
   8 struct TheType;
   9
  10 impl TheTrait<usize> for isize { }
  11 //~^ ERROR E0117
  12
  13 impl TheTrait<TheType> for isize { }
  14
  15 impl TheTrait<isize> for TheType { }
  16
  17 impl !Send for Vec<isize> { }
  18 //~^ ERROR E0117
  19
  20 fn main() { }