2018-12-16 02:50:49 -06:00
|
|
|
// run-rustfix
|
|
|
|
|
2019-03-10 21:46:44 -05:00
|
|
|
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
|
2018-12-16 02:50:49 -06:00
|
|
|
trait Tr4: SuperB + SuperD {}
|
2019-03-10 21:46:44 -05:00
|
|
|
//~^ ERROR negative trait bounds are not supported
|
2018-12-16 02:50:49 -06:00
|
|
|
trait Tr5 {}
|
2019-03-10 21:46:44 -05:00
|
|
|
//~^ ERROR negative trait bounds are not supported
|
2018-12-16 02:50:49 -06:00
|
|
|
|
|
|
|
trait SuperA {}
|
|
|
|
trait SuperB {}
|
|
|
|
trait SuperC {}
|
|
|
|
trait SuperD {}
|
|
|
|
|
|
|
|
fn main() {}
|