{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"arms.iter().map(|arm|"}]}
                    arms.iter().map(|arm| arm.pat),
                    discr_place.clone(),
                )?;