| // Regression test for #39618, shouldn't crash. | |
| // FIXME(JohnTitor): Centril pointed out this looks suspicions, we should revisit here. | |
| // More context: https://github.com/rust-lang/rust/pull/69192#discussion_r379846796 | |
| #![feature(specialization)] | |
| trait Foo { | |
| fn foo(&self); | |
| } | |
| trait Bar { | |
| fn bar(&self); | |
| } | |
| impl<T> Bar for T where T: Foo { | |
| fn bar(&self) {} | |
| } | |
| impl<T> Foo for T where T: Bar { | |
| //~^ ERROR cycle detected when computing whether impls specialize one another | |
| fn foo(&self) {} | |
| } | |
| impl Foo for u64 {} | |
| fn main() {} |