tests/source/existential_type.rs

   1 // Existential type.
   2
   3     #![feature(existential_type)]
   4
   5 pub existential type Adder<F, T>
   6 where
   7     T: Clone,
   8     F: Copy
   9     : Fn(T) -> T;
  10
  11 pub existential type Adderrr<T>: Fn(  T  ) -> T;
  12
  13 impl Foo for Bar {
  14 existential type E  : Trait;
  15 }