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