4 //~^ ERROR negative bounds are not supported
5 trait Tr2: SuperA + !SuperB {}
6 //~^ ERROR negative bounds are not supported
7 trait Tr3: !SuperA + SuperB {}
8 //~^ ERROR negative bounds are not supported
9 trait Tr4: !SuperA + SuperB
11 //~^ ERROR negative bounds are not supported
14 //~^ ERROR negative bounds are not supported