]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/type-alias-impl-trait/bound_reduction2.rs
1 #![feature(type_alias_impl_trait)]
10 type Foo
<V
> = impl Trait
<V
>;
11 //~^ ERROR the trait bound `T: TraitWithAssoc` is not satisfied
15 impl<W
> Trait
<W
> for () {}
17 fn foo_desugared
<T
: TraitWithAssoc
>(_
: T
) -> Foo
<T
::Assoc
> {