error[E0631]: type mismatch in closure arguments --> $DIR/issue-41366.rs:10:5 | LL | (&|_| ()) as &dyn for<'x> Fn(>::V); | ^^------^ | | | | | found signature of `fn(u16) -> _` | expected signature of `fn(>::V) -> _` | = note: required for the cast to the object type `dyn for<'x> std::ops::Fn(>::V)` error: aborting due to previous error For more information about this error, try `rustc --explain E0631`.