{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"if"}]}
                if t != resolved && resolved.has_infer() {
                let resolved = self.delegate.opportunistic_resolve_ty_var(vid);
                    resolved.fold_with(self)