diff options
| author | Ralf Jung <post@ralfj.de> | 2023-08-02 11:27:00 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-08-02 16:52:03 +0200 |
| commit | 2984670cea3ca625c2a64ce2604cfe2accbe9aa2 (patch) | |
| tree | bf216443019e14029943118316c0860700a970e0 /compiler/rustc_middle/src | |
| parent | 828bdc2c26f5c95773c4ecf72870919f16417b66 (diff) | |
| download | rust-2984670cea3ca625c2a64ce2604cfe2accbe9aa2.tar.gz rust-2984670cea3ca625c2a64ce2604cfe2accbe9aa2.zip | |
avoid 'miri' when refering to the shared interpreter
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/mir/interpret/error.rs | 2 | ||||
| -rw-r--r-- | compiler/rustc_middle/src/mir/interpret/mod.rs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_middle/src/mir/interpret/error.rs b/compiler/rustc_middle/src/mir/interpret/error.rs index d44dfa2172a..803dbf6cd91 100644 --- a/compiler/rustc_middle/src/mir/interpret/error.rs +++ b/compiler/rustc_middle/src/mir/interpret/error.rs @@ -155,7 +155,7 @@ impl<'tcx> InterpErrorInfo<'tcx> { } fn print_backtrace(backtrace: &Backtrace) { - eprintln!("\n\nAn error occurred in miri:\n{backtrace}"); + eprintln!("\n\nAn error occurred in the MIR interpreter:\n{backtrace}"); } impl From<ErrorGuaranteed> for InterpErrorInfo<'_> { diff --git a/compiler/rustc_middle/src/mir/interpret/mod.rs b/compiler/rustc_middle/src/mir/interpret/mod.rs index 8b5a8d17301..b35ba9503db 100644 --- a/compiler/rustc_middle/src/mir/interpret/mod.rs +++ b/compiler/rustc_middle/src/mir/interpret/mod.rs @@ -609,7 +609,7 @@ impl<'tcx> TyCtxt<'tcx> { /// Panics in case the `AllocId` is dangling. Since that is impossible for `AllocId`s in /// constants (as all constants must pass interning and validation that check for dangling /// ids), this function is frequently used throughout rustc, but should not be used within - /// the miri engine. + /// the interpreter. pub fn global_alloc(self, id: AllocId) -> GlobalAlloc<'tcx> { match self.try_get_global_alloc(id) { Some(alloc) => alloc, |
