{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"visitor.visit_arm(&visitor.thir()[arm]);"}]}
                visitor.visit_arm(&visitor.thir()[arm]);
            for &arm in &**arms {
            }