tests/ui/auto-traits/typeck-auto-trait-no-supertraits-2.rs

   1 #![feature(auto_traits)]
   2 #![feature(negative_impls)]
   3
   4 auto trait Magic : Sized where Option<Self> : Magic {} //~ ERROR E0568
   5 //~^ ERROR E0568
   6 impl<T:Magic> Magic for T {}
   7
   8 fn copy<T: Magic>(x: T) -> (T, T) { (x, x) }
   9
  10 #[derive(Debug)]
  11 struct NoClone;
  12
  13 fn main() {
  14     let (a, b) = copy(NoClone);
  15     println!("{:?} {:?}", a, b);
  16 }