{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
                // arms, too, just like we do for diverging scrutinees above.
                // may also be considered to diverge. We should warn on all subsequent
            }