{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"default_severity:"}]}
        default_severity: Severity::Allow,
(i.e., `x == <float>::INFINITY || x == <float>::NEG_INFINITY`)."##,
        warn_since: None,