{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"self.combine_map(t).insert(vars,"}]}
        self.combine_map(t).insert(vars, c);
        let c = self.new_region_var(c_universe, RegionVariableOrigin::Misc(origin.span()));
        self.undo_log.push(AddCombination(t, vars));