error[E0567]: auto traits cannot have generic parameters
- --> $DIR/auto-trait-validation.rs:3:1
+ --> $DIR/auto-trait-validation.rs:3:20
|
LL | auto trait Generic<T> {}
- | ^^^^^^^^^^^^^^^^^^^^^^^^
+ | ------- ^ cannot have this generic parameter
+ | |
+ | auto trait cannot have generic parameters
error[E0568]: auto traits cannot have super traits
- --> $DIR/auto-trait-validation.rs:5:1
+ --> $DIR/auto-trait-validation.rs:5:20
|
LL | auto trait Bound : Copy {}
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^
+ | ----- ^^^^ cannot have this super trait
+ | |
+ | auto trait cannot have super traits
error[E0380]: auto traits cannot have methods or associated items
- --> $DIR/auto-trait-validation.rs:7:1
+ --> $DIR/auto-trait-validation.rs:7:25
|
LL | auto trait MyTrait { fn foo() {} }
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ | ------- ^^^
+ | |
+ | auto trait cannot have items
error: aborting due to 3 previous errors