{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":")"}]}
) -> Option<Diag<'a>> {
    mut universe_of_region: impl FnMut(RegionVid) -> UniverseIndex,
    let placeholder_universe = match placeholder_region.kind() {