4 //~^ ERROR negative bounds are not supported
6 //~^ ERROR negative bounds are not supported
8 //~^ ERROR negative bounds are not supported
9 trait Tr4: SuperB + SuperD {}
10 //~^ ERROR negative bounds are not supported
12 //~^ ERROR negative bounds are not supported