{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"if"}]}
                if nt != t {
                let nt = self.infcx.unwrap().opportunistic_resolve_int_var(vid);
                    return self.fold_ty(nt);