error: negative trait bounds are not supported
  --> $DIR/issue-33418.rs:3:9
   |
LL | trait Tr: !SuperA {}
   |         ^^^^^^^^^ negative trait bounds are not supported
   |
   = help: remove the trait bound

error: negative trait bounds are not supported
  --> $DIR/issue-33418.rs:5:19
   |
LL | trait Tr2: SuperA + !SuperB {}
   |                   ^^^^^^^^^ negative trait bounds are not supported
   |
   = help: remove the trait bound

error: negative trait bounds are not supported
  --> $DIR/issue-33418.rs:7:10
   |
LL | trait Tr3: !SuperA + SuperB {}
   |          ^^^^^^^^^ negative trait bounds are not supported
   |
   = help: remove the trait bound

error: negative trait bounds are not supported
  --> $DIR/issue-33418.rs:9:10
   |
LL | trait Tr4: !SuperA + SuperB
   |          ^^^^^^^^^
LL |     + !SuperC + SuperD {}
   |     ^^^^^^^^^ negative trait bounds are not supported
   |
   = help: remove the trait bounds

error: negative trait bounds are not supported
  --> $DIR/issue-33418.rs:12:10
   |
LL | trait Tr5: !SuperA
   |          ^^^^^^^^^
LL |     + !SuperB {}
   |     ^^^^^^^^^ negative trait bounds are not supported
   |
   = help: remove the trait bounds

error: aborting due to 5 previous errors