1 #![feature(type_alias_impl_trait)]
2 // build-pass (FIXME(62277): could be check-pass?)
6 impl<V> Bar for Dummy<V> {}
10 fn foo(t: T) -> Self::Assoc;
13 impl<W> Foo<W> for i32 {
14 type Assoc = impl Bar;
15 fn foo(w: W) -> Self::Assoc {
21 impl Bar for NonGeneric {}
23 impl<W> Foo<W> for u32 {
24 type Assoc = impl Bar;
25 fn foo(_: W) -> Self::Assoc {