update for latest nightly rustc#172

oli-obk merged 2 commits intorust-lang:masterrust-lang/miri:masterfrom

dwrensha:rustupdwrensha/miri:rustupCopy head branch name to clipboard