mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-29 20:46:07 +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.
For more information about how rustc works, see the rustc dev guide.