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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// run-rustfix

trait Tr: !SuperA {} //~ ERROR negative trait bounds are not supported
trait Tr2: SuperA + !SuperB {} //~ ERROR negative trait bounds are not supported
trait Tr3: !SuperA + SuperB {} //~ ERROR negative trait bounds are not supported
trait Tr4: !SuperA + SuperB //~ ERROR negative trait bounds are not supported
    + !SuperC + SuperD {}
trait Tr5: !SuperA //~ ERROR negative trait bounds are not supported
    + !SuperB {}

trait SuperA {}
trait SuperB {}
trait SuperC {}
trait SuperD {}

fn main() {}