{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"Ok(ty)"}]}
            Ok(ty) => ty,
        match self.probe_ty_var(vid) {
            Err(_) => Ty::new_var(self.tcx, self.root_var(vid)),