src/test/ui/associated-consts/mismatched_impl_ty_3.rs

   1 // run-pass
   2 trait Trait {
   3     const ASSOC: for<'a, 'b> fn(&'a u32, &'b u32);
   4 }
   5 impl Trait for () {
   6     const ASSOC: for<'a> fn(&'a u32, &'a u32) = |_, _| ();
   7 }
   8
   9 fn main() {
  10     let _ = <() as Trait>::ASSOC;
  11 }