update for latest rustc#167

eddyb merged 2 commits intorust-lang:masterrust-lang/miri:masterfrom

dwrensha:update-rustcdwrensha/miri:update-rustcCopy head branch name to clipboard