6 fn make() -> Self::Out;
12 fn make() -> Self::Out {}
15 // Also make sure we don't hit an ICE when the projection can't be known
16 fn f<T: Make>() -> <T as Make>::Out { loop {} }
18 // ...and that it works with a blanket impl
23 impl<T: Make> Tr for T {
27 fn g<T: Make>() -> <T as Tr>::Assoc { }