diff options
| author | Ralf Jung <post@ralfj.de> | 2025-07-24 12:26:58 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-24 12:26:58 +0000 |
| commit | 94f725f8d214c4143c0a5bf8802f6d250fb30b3d (patch) | |
| tree | ace239abadecc31b27537d1a15b95d9be8ba83bf | |
| parent | cbd1557d021899a04eb37b1a10bd78a1b1f13c1d (diff) | |
| parent | fd114d465a7facfd7be01a290bf42ae6a1e9d649 (diff) | |
| download | rust-94f725f8d214c4143c0a5bf8802f6d250fb30b3d.tar.gz rust-94f725f8d214c4143c0a5bf8802f6d250fb30b3d.zip | |
Merge pull request #4491 from RalfJung/missing-mir
make the missing-MIR message more clear
| -rw-r--r-- | src/tools/miri/src/eval.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/src/eval.rs b/src/tools/miri/src/eval.rs index 3c80e60b772..f78908aba8e 100644 --- a/src/tools/miri/src/eval.rs +++ b/src/tools/miri/src/eval.rs @@ -334,8 +334,8 @@ pub fn create_ecx<'tcx>( helpers::try_resolve_path(tcx, &["core", "ascii", "escape_default"], Namespace::ValueNS); if !matches!(sentinel, Some(s) if tcx.is_mir_available(s.def.def_id())) { tcx.dcx().fatal( - "the current sysroot was built without `-Zalways-encode-mir`, or libcore seems missing. \ - Use `cargo miri setup` to prepare a sysroot that is suitable for Miri." + "the current sysroot was built without `-Zalways-encode-mir`, or libcore seems missing.\n\ + Note that directly invoking the `miri` binary is not supported; please use `cargo miri` instead." ); } |