Function miri::register_diagnostic

pub fn register_diagnostic(e: NonHaltingDiagnostic)

Schedule a diagnostic for emitting. This function works even if you have no InterpCx available. The diagnostic will be emitted after the current interpreter step is finished.