{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"walk(pat,"}]}
    walk(pat, body, infer, &mut has_type_mismatches);
    let mut has_type_mismatches = false;
    !has_type_mismatches