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 error: negative bounds are not supported
8 --> $DIR/issue-33418.rs:5:19
10 LL | trait Tr2: SuperA + !SuperB {}
11 | ^^^^^^^^^ negative bounds are not supported
13 error: negative bounds are not supported
14 --> $DIR/issue-33418.rs:7:10
16 LL | trait Tr3: !SuperA + SuperB {}
17 | ^^^^^^^^^ negative bounds are not supported
19 error: negative bounds are not supported
20 --> $DIR/issue-33418.rs:9:10
22 LL | trait Tr4: !SuperA + SuperB
24 LL | + !SuperC + SuperD {}
25 | ^^^^^^^^^ negative bounds are not supported
27 error: negative bounds are not supported
28 --> $DIR/issue-33418.rs:12:10
30 LL | trait Tr5: !SuperA
33 | ^^^^^^^^^ negative bounds are not supported
35 error: aborting due to 5 previous errors