1 #![feature(type_alias_impl_trait)]
9 type Foo<V> = impl Trait<V>;
10 //~^ ERROR could not find defining uses
14 impl<W> Trait<W> for () {}
16 fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T::Assoc> {
17 //~^ ERROR non-defining opaque type use in defining scope