tests/ui/closures/supertrait-hint-references-assoc-ty.rs

   1 // check-pass
   2
   3 pub trait Fn0: Fn(i32) -> Self::Out {
   4     type Out;
   5 }
   6
   7 impl<F: Fn(i32) -> ()> Fn0 for F {
   8     type Out = ();
   9 }
  10
  11 pub fn closure_typer(_: impl Fn0) {}
  12
  13 fn main() {
  14     closure_typer(move |x| {
  15         let _: i64 = x.into();
  16     });
  17 }