{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
        // We won't diverge unless the scrutinee or all arms diverge.
        self.diverges.set(scrut_diverges | all_arms_diverge);