{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"self.diverges.set(Diverges::WarnedAlways);"}]}
        self.diverges.set(Diverges::WarnedAlways);
        // Don't warn twice.