{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"pat_hi:"}]}
                                            pat_hi: arm.pat.span.shrink_to_hi(),
                                            ident_span,
                                            ident,