{"ast_node_type":"impl","tokens":[{"end":67,"kind":"keyword","start":0,"text":"mut"}]}
    mut universe_of_region: impl FnMut(RegionVid) -> UniverseIndex,
    mut region_var_origin: impl FnMut(RegionVid) -> RegionVariableOrigin,
) -> Option<Diag<'a>> {