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