| // Tests that we consider `T: Sugar + Fruit` to be ambiguous, even | |
| // though no impls are found. | |
| // revisions: old re | |
| #![cfg_attr(re, feature(re_rebalance_coherence))] | |
| pub trait Sugar {} | |
| pub trait Fruit {} | |
| pub trait Sweet {} | |
| impl<T:Sugar> Sweet for T { } | |
| impl<T:Fruit> Sweet for T { } | |
| //[old]~^ ERROR E0119 | |
| //[re]~^^ ERROR E0119 | |
| pub trait Foo<X> {} | |
| pub trait Bar<X> {} | |
| impl<X, T> Foo<X> for T where T: Bar<X> {} | |
| impl<X> Foo<X> for i32 {} | |
| //[old]~^ ERROR E0119 | |
| //[re]~^^ ERROR E0119 | |
| fn main() { } |