{"ast_node_type":"other","tokens":[{"end":4,"kind":"keyword","start":0,"text":"\"##,"}]}
"##,
still diverges if `noreturn` option is used and all label blocks diverge.
        default_severity: Severity::Allow,