{"ast_node_type":"variable","tokens":[{"end":91,"kind":"keyword","start":0,"text":"let"}]}
        let c = self.new_region_var(c_universe, RegionVariableOrigin::Misc(origin.span()));
        let c_universe = cmp::max(a_universe, b_universe);
        self.combine_map(t).insert(vars, c);