Function type_keyed

pub fn type_keyed<'a, 'b, A: TypeMatch, B>(
    (a, b): (&'a A, &'b B),
) -> (&'a dyn TypeMatch, &'b B)