| trait Tr: !SuperA {} |
| //~^ ERROR negative bounds are not supported |
| trait Tr2: SuperA + !SuperB {} |
| //~^ ERROR negative bounds are not supported |
| trait Tr3: !SuperA + SuperB {} |
| //~^ ERROR negative bounds are not supported |
| trait Tr4: !SuperA + SuperB |
| //~^ ERROR negative bounds are not supported |
| + !SuperC + SuperD {} |
| //~^ ERROR negative bounds are not supported |
| trait Tr5: !SuperA |
| //~^ ERROR negative bounds are not supported |
| + !SuperB {} |
| //~^ ERROR negative bounds are not supported |
| |
| trait SuperA {} |
| trait SuperB {} |
| trait SuperC {} |
| trait SuperD {} |
| |
| fn main() {} |
