{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"DiagnosticCode::RustcHardError(\"E0023\"),"}]}
    DiagnosticCode::RustcHardError("E0023"),
const SUPPORTED_DIAGNOSTICS: &[DiagnosticCode] = &[
    DiagnosticCode::RustcHardError("E0046"),