Auto merge of #95282 - RalfJung:miri, r=RalfJung

bors · bors · commit 3fe3b89cd572 · 2022-03-25T16:45:08.000Z
update Miri Fixes #95258 r? `@ghost`
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 16c69fd2901b49148bff6f24292e7fc98967d7f1
+Subproject commit 346f8f2219562dae3fce5a35cc7eed4df8353b6c
