Constant miri::diagnostics::DIAGNOSTICS

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