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