| 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 |
| |