Rollup merge of #74241 - RalfJung:miri, r=RalfJung

Manishearth · web-flow · commit 95c5fb850e6b · 2020-07-11T08:53:29.000-07:00
update miri This incorporates rust-lang/miri#1474. [Last time](#74146) that change caused trouble but I fixed xargo since then and [now it should work](#74146 (comment)). Cc @rust-lang/miri r? @ghost
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit eb5ff1791be706d173b4f4c29e9c0529b4235c0e
+Subproject commit eee22ffddab20f51e1866bcbe4c5a69a90bdd260
