Auto merge of #88823 - hyd-dev:miri, r=RalfJung

bors · bors · commit b69fe5726108 · 2021-09-10T15:51:58.000Z
Update Miri Fixes #88768. r? `@RalfJung`
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 7a2f1cadcd5120c44eda3596053de767cd8173a2
+Subproject commit 035933186957cf81c488261fb48a98bf523e8006
