{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"ty::ReVar(vid)"}]}
            ty::ReVar(vid) => match self.probe_value(vid) {
            ty::RePlaceholder(placeholder) => placeholder.universe,
                Ok(value) => self.universe(value),