Constant miri::diagnostics::DIAGNOSTICS

const DIAGNOSTICS: LocalKey<RefCell<Vec<NonHaltingDiagnostic>>>;