1 trait Tr: !SuperA {} 2 //~^ ERROR negative bounds are not supported 3 trait Tr2: SuperA + !SuperB {} 4 //~^ ERROR negative bounds are not supported 5 trait Tr3: !SuperA + SuperB {} 6 //~^ ERROR negative bounds are not supported 7 trait Tr4: !SuperA + SuperB 8 //~^ ERROR negative bounds are not supported 9 + !SuperC + SuperD {} 10 //~^ ERROR negative bounds are not supported 11 trait Tr5: !SuperA 12 //~^ ERROR negative bounds are not supported 13 + !SuperB {} 14 //~^ ERROR negative bounds are not supported 15 16 trait SuperA {} 17 trait SuperB {} 18 trait SuperC {} 19 trait SuperD {} 20 main()21fn main() {} 22