tests/target/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 }