tests/ui/auto-traits/issue-84075.rs

   1 // Regression test for issue #84075.
   2
   3 #![feature(auto_traits)]
   4
   5 auto trait Magic where Self: Copy {} //~ 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 }