{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"Err(universe)"}]}
            Err(universe) => Some(universe),
        match self.probe_ty_var(vid) {
            Ok(_) => None,