blob: 17b3f5e31bdf91b817f5ca9603746cd0ecb9aa74 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
A super trait has been added to an auto trait.
Erroneous code example:
```compile_fail,E0568
#![feature(auto_traits)]
auto trait Bound : Copy {} // error!
fn main() {}
```
Since an auto trait is implemented on all existing types, adding a super trait
would filter out a lot of those types. In the current example, almost none of
all the existing types could implement `Bound` because very few of them have the
`Copy` trait.
To fix this issue, just remove the super trait:
```
#![feature(auto_traits)]
auto trait Bound {} // ok!
fn main() {}
```
|