Function miri::register_diagnostic
source · pub fn register_diagnostic(e: NonHaltingDiagnostic)
Expand description
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.