src/test/ui/existential_types/bound_reduction2.rs

   1 #![feature(existential_type)]
   2
   3 fn main() {
   4 }
   5
   6 trait TraitWithAssoc {
   7     type Assoc;
   8 }
   9
  10 existential type Foo<V>: Trait<V>;
  11
  12 trait Trait<U> {}
  13
  14 impl<W> Trait<W> for () {}
  15
  16 fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T::Assoc> { //~ ERROR non-defining
  17     ()
  18 }