3 // Regression test for #55846, which once caused an ICE.
5 use std::marker::PhantomData;
13 impl Fooifier for Foo {
25 impl<H> Barifier<H> for Bar<H> {
27 println!("All correct!");
31 impl Bar<<Foo as Fooifier>::Assoc> {
32 fn this_shouldnt_crash() {
33 <Self as Barifier<<Foo as Fooifier>::Assoc>>::barify();
38 Bar::<Foo>::this_shouldnt_crash();