user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Auto merge of #2026 - jakevossen5:master, r=RalfJung

Browse source 
missing backtick on miri-isolation warning help

Just ran into this and figured I could fix it real quick 🙂
This commit is contained in:
bors 2022-03-16 17:10:44 +00:00
commit 39c72db3d3
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/diagnostics.rs
View file

@ -150,7 +150,7 @@ pub fn report_error<'tcx, 'mir>(
UnsupportedInIsolation(_) =>
vec![
(None, format!("pass the flag `-Zmiri-disable-isolation` to disable isolation;")),
(None, format!("or pass `-Zmiri-isolation-error=warn to configure Miri to return an error code from isolated operations (if supported for that operation) and continue with a warning")),
(None, format!("or pass `-Zmiri-isolation-error=warn` to configure Miri to return an error code from isolated operations (if supported for that operation) and continue with a warning")),
],
ExperimentalUb { url, .. } =>
vec![