1 error: negative trait bounds are not supported
2 --> $DIR/issue-33418.rs:3:9
4 LL | trait Tr: !SuperA {} //~ ERROR negative trait bounds are not supported
5 | ^^^^^^^^^ help: remove the trait bound
7 error: negative trait bounds are not supported
8 --> $DIR/issue-33418.rs:4:19
10 LL | trait Tr2: SuperA + !SuperB {} //~ ERROR 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:5:10
18 LL | trait Tr3: !SuperA + SuperB {} //~ ERROR negative trait bounds are not supported
21 | help: remove the trait bound
23 error: negative trait bounds are not supported
24 --> $DIR/issue-33418.rs:6:10
26 LL | trait Tr4: !SuperA + SuperB //~ ERROR negative trait bounds are not supported
28 LL | | + !SuperC + SuperD {}
29 | |_____^^^^^^^^^________- help: remove the trait bounds
31 error: negative trait bounds are not supported
32 --> $DIR/issue-33418.rs:8:10
34 LL | trait Tr5: !SuperA //~ ERROR negative trait bounds are not supported
39 | help: remove the trait bounds
41 error: aborting due to 5 previous errors