src/test/ui/impl-trait/associated-existential-type-trivial.rs

   1 #![feature(existential_type)]
   2 // compile-pass
   3
   4 trait Bar {}
   5 struct Dummy;
   6 impl Bar for Dummy {}
   7
   8 trait Foo {
   9     type Assoc: Bar;
  10     fn foo() -> Self::Assoc;
  11 }
  12
  13 impl Foo for i32 {
  14     existential type Assoc: Bar;
  15     fn foo() -> Self::Assoc {
  16         Dummy
  17     }
  18 }
  19
  20 fn main() {}