{"ast_node_type":"variable","tokens":[{"end":58,"kind":"keyword","start":0,"text":"if"}]}
            if let Pat::Bind { id, .. } = body.pats[pat] {
        for (pat, mut ty) in inference_result.type_of_pat.iter() {
                ty = &inference_result.type_of_binding[id];