| // 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() {} |
