fix related miri variables#264

oli-obk merged 1 commit intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

rchaser53:rename-variables-related-mirirchaser53/rustc-guide:rename-variables-related-miriCopy head branch name to clipboard