1 error: negative bounds are not supported
2 --> $DIR/issue-33418.rs:3:9
4 LL | trait Tr: !SuperA {}
5 | ^^^^^^^^^ negative bounds are not supported
7 = help: remove the bound
9 error: negative bounds are not supported
10 --> $DIR/issue-33418.rs:5:19
12 LL | trait Tr2: SuperA + !SuperB {}
13 | ^^^^^^^^^ negative bounds are not supported
15 = help: remove the bound
17 error: negative bounds are not supported
18 --> $DIR/issue-33418.rs:7:10
20 LL | trait Tr3: !SuperA + SuperB {}
21 | ^^^^^^^^^ negative bounds are not supported
23 = help: remove the bound
25 error: negative bounds are not supported
26 --> $DIR/issue-33418.rs:9:10
28 LL | trait Tr4: !SuperA + SuperB
30 LL | + !SuperC + SuperD {}
31 | ^^^^^^^^^ negative bounds are not supported
33 = help: remove the bounds
35 error: negative bounds are not supported
36 --> $DIR/issue-33418.rs:12:10
38 LL | trait Tr5: !SuperA
41 | ^^^^^^^^^ negative bounds are not supported
43 = help: remove the bounds
45 error: aborting due to 5 previous errors