1 error[E0568]: auto traits cannot have super traits or lifetime bounds
2 --> $DIR/typeck-auto-trait-no-supertraits-2.rs:4:17
4 LL | auto trait Magic : Sized where Option<Self> : Magic {}
5 | -----^^^^^^^^ help: remove the super traits or lifetime bounds
7 | auto traits cannot have super traits or lifetime bounds
9 error[E0568]: auto traits cannot have super traits or lifetime bounds
10 --> $DIR/typeck-auto-trait-no-supertraits-2.rs:4:26
12 LL | auto trait Magic : Sized where Option<Self> : Magic {}
13 | ----- ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove the super traits or lifetime bounds
15 | auto traits cannot have super traits or lifetime bounds
17 error: aborting due to 2 previous errors
19 For more information about this error, try `rustc --explain E0568`.