{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"prior_arm"}]}
                prior_arm = Some((arm_block_id, arm_ty, arm_span));
                // from elsewhere and we shouldn't point to any previous arm.