{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"ty::RePlaceholder(placeholder)"}]}
            ty::RePlaceholder(placeholder) => placeholder.universe,
            | ty::ReError(_) => ty::UniverseIndex::ROOT,
            ty::ReVar(vid) => match self.probe_value(vid) {