update for rustc changes#954

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

RalfJung:rustupRalfJung/miri:rustupCopy head branch name to clipboard