3 trait Tr: !SuperA {} //~ ERROR negative trait bounds are not supported
4 trait Tr2: SuperA + !SuperB {} //~ ERROR negative trait bounds are not supported
5 trait Tr3: !SuperA + SuperB {} //~ ERROR negative trait bounds are not supported
6 trait Tr4: !SuperA + SuperB //~ ERROR negative trait bounds are not supported
8 trait Tr5: !SuperA //~ ERROR negative trait bounds are not supported