{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"default_severity:"}]}
        default_severity: Severity::Allow,
when performed on any integer types using the default `Div` and `Rem` trait implementations."##,
        warn_since: None,