Update to planned rustc changes#729

oli-obk wants to merge 2 commits intomasterrust-lang/miri:masterfrom

symbol_preinternerrust-lang/miri:symbol_preinternerCopy head branch name to clipboard