src/test/ui/typeck/typeck-auto-trait-no-supertraits-2.rs

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