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