{"ast_node_type":"function","tokens":[{"end":95,"kind":"keyword","start":0,"text":"fn"}]}
    fn walk(pat: PatId, body: &Body, infer: &InferenceResult, has_type_mismatches: &mut bool) {
fn types_of_subpatterns_do_match(pat: PatId, body: &Body, infer: &InferenceResult) -> bool {
        match infer.type_mismatch_for_pat(pat) {