mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-30 23:03:06 +03:00
01fdb9d148
avoid 'miri' when refering to the shared interpreter This is basically the rustc source code version of https://github.com/rust-lang/rustc-dev-guide/pull/1471.