1 A super trait has been added to an auto trait.
3 Erroneous code example:
6 #![feature(auto_traits)]
8 auto trait Bound : Copy {} // error!
13 Since an auto trait is implemented on all existing types, adding a super trait
14 would filter out a lot of those types. In the current example, almost none of
15 all the existing types could implement `Bound` because very few of them have the
18 To fix this issue, just remove the super trait:
21 #![feature(auto_traits)]
23 auto trait Bound {} // ok!