{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"arms.push(Arm"}]}
                    arms.push(Arm {
                    // Always push at least one arm to make the match non-empty
                        attrs: Default::default(),