1 #![feature(auto_traits)]
6 //~^ auto traits cannot have generic parameters [E0567]
8 //~^ auto traits cannot have super traits or lifetime bounds [E0568]
9 auto trait LifetimeBound {}
10 //~^ auto traits cannot have super traits or lifetime bounds [E0568]
11 auto trait MyTrait { }
12 //~^ auto traits cannot have associated items [E0380]