update Miri

RalfJung · RalfJung · commit 189409bea9a6 · 2022-03-24T15:05:35.000-04:00
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 16c69fd2901b49148bff6f24292e7fc98967d7f1
+Subproject commit 346f8f2219562dae3fce5a35cc7eed4df8353b6c
