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

update miri

to fix the libcore test suite
r? `@ghost`
This commit is contained in:
bors 2022-02-12 16:41:24 +00:00
commit 5d8767cb22

@ -1 +1 @@
Subproject commit a284d4f551ee12f7761128998efccdabebc4922f
Subproject commit 0db40903769f38669936c5ebb0b882b18c27f449