| error: negative bounds are not supported | |
| --> $DIR/issue-33418.rs:1:11 | |
| | | |
| LL | trait Tr: !SuperA {} | |
| | ^ | |
| error: negative bounds are not supported | |
| --> $DIR/issue-33418.rs:3:21 | |
| | | |
| LL | trait Tr2: SuperA + !SuperB {} | |
| | ^ | |
| error: negative bounds are not supported | |
| --> $DIR/issue-33418.rs:5:12 | |
| | | |
| LL | trait Tr3: !SuperA + SuperB {} | |
| | ^ | |
| error: negative bounds are not supported | |
| --> $DIR/issue-33418.rs:7:12 | |
| | | |
| LL | trait Tr4: !SuperA + SuperB | |
| | ^ | |
| error: negative bounds are not supported | |
| --> $DIR/issue-33418.rs:9:3 | |
| | | |
| LL | + !SuperC + SuperD {} | |
| | ^ | |
| error: negative bounds are not supported | |
| --> $DIR/issue-33418.rs:11:12 | |
| | | |
| LL | trait Tr5: !SuperA | |
| | ^ | |
| error: negative bounds are not supported | |
| --> $DIR/issue-33418.rs:13:3 | |
| | | |
| LL | + !SuperB {} | |
| | ^ | |
| error: aborting due to 7 previous errors | |