| // check that error types in coherence do not cause error cascades. | |
| // revisions: old re | |
| #![cfg_attr(re, feature(re_rebalance_coherence))] | |
| trait Foo {} | |
| impl Foo for i8 {} | |
| impl Foo for i16 {} | |
| impl Foo for i32 {} | |
| impl Foo for i64 {} | |
| impl Foo for DoesNotExist {} | |
| //[old]~^ ERROR cannot find type `DoesNotExist` in this scope | |
| //[re]~^^ ERROR E0412 | |
| impl Foo for u8 {} | |
| impl Foo for u16 {} | |
| impl Foo for u32 {} | |
| impl Foo for u64 {} | |
| fn main() {} |