1 error: negative trait bounds are not supported
2 --> $DIR/issue-33418.rs:3:9
4 LL | trait Tr: !SuperA {}
5 | ^^^^^^^^^ negative trait bounds are not supported
6 = help: remove the trait bound
8 error: negative trait bounds are not supported
9 --> $DIR/issue-33418.rs:5:19
11 LL | trait Tr2: SuperA + !SuperB {}
12 | ^^^^^^^^^ negative trait bounds are not supported
13 = help: remove the trait bound
15 error: negative trait bounds are not supported
16 --> $DIR/issue-33418.rs:7:10
18 LL | trait Tr3: !SuperA + SuperB {}
19 | ^^^^^^^^^ negative trait bounds are not supported
20 = help: remove the trait bound
22 error: negative trait bounds are not supported
23 --> $DIR/issue-33418.rs:9:10
25 LL | trait Tr4: !SuperA + SuperB
27 LL | + !SuperC + SuperD {}
28 | ^^^^^^^^^ negative trait bounds are not supported
29 = help: remove the trait bounds
31 error: negative trait bounds are not supported
32 --> $DIR/issue-33418.rs:12:10
34 LL | trait Tr5: !SuperA
37 | ^^^^^^^^^ negative trait bounds are not supported
38 = help: remove the trait bounds
40 error: aborting due to 5 previous errors