src/test/ui/auto-traits/issue-84075.stderr

   1 error[E0568]: auto traits cannot have super traits or lifetime bounds
   2   --> $DIR/issue-84075.rs:5:18
   3    |
   4 LL | auto trait Magic where Self: Copy {}
   5    |            ----- ^^^^^^^^^^^^^^^^ help: remove the super traits or lifetime bounds
   6    |            |
   7    |            auto trait cannot have super traits or lifetime bounds
   8
   9 error: aborting due to previous error
  10
  11 For more information about this error, try `rustc --explain E0568`.