src/test/ui/impl-trait/deduce-signature-from-supertrait.rs

   1 // check-pass
   2
   3 #![feature(type_alias_impl_trait)]
   4
   5 trait SuperExpectation: Fn(i32) {}
   6
   7 impl<T: Fn(i32)> SuperExpectation for T {}
   8
   9 type Foo = impl SuperExpectation;
  10
  11 fn main() {
  12     let _: Foo = |x| {
  13         let _ = x.to_string();
  14     };
  15 }