{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"default_severity:"}]}
        default_severity: Severity::Allow,
multithreaded executors are likely to be used for running these Futures."##,
        warn_since: None,