{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"node_idx:"}]}
        node_idx: RegionVid,
        dup_vec: &mut IndexSlice<RegionVid, Option<RegionVid>>,
        errors: &mut Vec<RegionResolutionError<'tcx>>,