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