Auto merge of #55064 - RalfJung:miri-update, r=oli-obk

bors · bors · commit 42f401dd02fd · 2018-10-15T06:36:23.000Z
update miri This pulls in the changes in miri to actually enable validation. So, the rustc test suite will let us know if anything we cover regresses in that regard. :) r? @oli-obk
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 26f9d617c347185433b77c481a5c50c55d9b72ce
+Subproject commit 8b14b03368429e6ee2a8ac0e0c876505606ab1f1
