| #![feature(auto_traits)] |
| #![allow(dead_code)] |
| |
| //@ run-rustfix |
| |
| auto trait Generic {} |
| //~^ ERROR auto traits cannot have generic parameters [E0567] |
| auto trait Bound {} |
| //~^ ERROR auto traits cannot have super traits or lifetime bounds [E0568] |
| auto trait LifetimeBound {} |
| //~^ ERROR auto traits cannot have super traits or lifetime bounds [E0568] |
| auto trait MyTrait { } |
| //~^ ERROR auto traits cannot have associated items [E0380] |
| auto trait AssocTy { } |
| //~^ ERROR auto traits cannot have associated items [E0380] |
| auto trait All { |
| //~^ ERROR auto traits cannot have generic parameters [E0567] |
| |
| } |
| // We can't test both generic params and super-traits because the suggestion span overlaps. |
| auto trait All2 { |
| //~^ ERROR auto traits cannot have super traits or lifetime bounds [E0568] |
| |
| } |
| fn main() {} |