{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
            //    body is a block, but we don't bother to check that.
            //    comma before the newly inserted arm. It can not be necessary if there arm
            //  - Missing after the arm with arms after, if the arm body is a block. In this case