// run-rustfix | |
trait Tr {} | |
//~^ ERROR negative trait bounds are not supported | |
trait Tr2: SuperA {} | |
//~^ ERROR negative trait bounds are not supported | |
trait Tr3: SuperB {} | |
//~^ ERROR negative trait bounds are not supported | |
trait Tr4: SuperB + SuperD {} | |
//~^ ERROR negative trait bounds are not supported | |
trait Tr5 {} | |
//~^ ERROR negative trait bounds are not supported | |
trait SuperA {} | |
trait SuperB {} | |
trait SuperC {} | |
trait SuperD {} | |
fn main() {} |