1 #![feature(auto_traits)]
2 #![feature(negative_impls)]
4 auto trait Magic : Sized where Option<Self> : Magic {} //~ ERROR E0568
5 impl<T:Magic> Magic for T {}
7 fn copy<T: Magic>(x: T) -> (T, T) { (x, x) }
13 let (a, b) = copy(NoClone);
14 println!("{:?} {:?}", a, b);