{"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"let"}]}
                    let origin = self.var_infos[node_idx].origin;
                if min_universe.cannot_name(p.universe) {
                    errors.push(RegionResolutionError::UpperBoundUniverseConflict(