src/test/ui/parser/issue-33418.rs

   1 // run-rustfix
   2
   3 trait Tr: !SuperA {}
   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
  10     + !SuperC + SuperD {}
  11 //~^ ERROR negative bounds are not supported
  12 trait Tr5: !SuperA
  13     + !SuperB {}
  14 //~^ ERROR negative bounds are not supported
  15
  16 trait SuperA {}
  17 trait SuperB {}
  18 trait SuperC {}
  19 trait SuperD {}
  20
  21 fn main() {}