{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"(num_pats,"}]}
                (num_pats, num_pats_unknown, num_pats_partially_unknown);
            let (previous_pats, previous_unknown, previous_partially_unknown) =
            for (pat_id, _) in body.pats.iter() {