]>
Commit | Line | Data |
---|---|---|
9fa01778 XL |
1 | // run-rustfix |
2 | ||
532ac7d7 | 3 | trait Tr: !SuperA {} |
dfeec247 | 4 | //~^ ERROR negative bounds are not supported |
532ac7d7 | 5 | trait Tr2: SuperA + !SuperB {} |
dfeec247 | 6 | //~^ ERROR negative bounds are not supported |
532ac7d7 | 7 | trait Tr3: !SuperA + SuperB {} |
dfeec247 | 8 | //~^ ERROR negative bounds are not supported |
532ac7d7 | 9 | trait Tr4: !SuperA + SuperB |
9fa01778 | 10 | + !SuperC + SuperD {} |
dfeec247 | 11 | //~^ ERROR negative bounds are not supported |
532ac7d7 | 12 | trait Tr5: !SuperA |
9fa01778 | 13 | + !SuperB {} |
dfeec247 | 14 | //~^ ERROR negative bounds are not supported |
9fa01778 XL |
15 | |
16 | trait SuperA {} | |
17 | trait SuperB {} | |
18 | trait SuperC {} | |
19 | trait SuperD {} | |
20 | ||
21 | fn main() {} |