diff --git a/rust-version b/rust-version
index 0c82a59c6d1d..208d29f79704 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-42a4673fbd40b09a99d057eaa9b3e5579b54c184
+a143517d44cac50b20cbd3a0b579addab40dd399
diff --git a/tests/compile-fail/validity/execute_memory.rs b/tests/compile-fail/validity/execute_memory.rs
index 4be80fe39d01..5230e7fdf529 100644
--- a/tests/compile-fail/validity/execute_memory.rs
+++ b/tests/compile-fail/validity/execute_memory.rs
@@ -1,4 +1,3 @@
-// ignore-test FIXME (Miri issue #1711)
 #![feature(box_syntax)]
 
 fn main() {
diff --git a/tests/compile-fail/validity/invalid_fnptr_uninit.rs b/tests/compile-fail/validity/invalid_fnptr_uninit.rs
index ab0e870b420b..dbd6711dc65a 100644
--- a/tests/compile-fail/validity/invalid_fnptr_uninit.rs
+++ b/tests/compile-fail/validity/invalid_fnptr_uninit.rs
@@ -1,4 +1,3 @@
-// ignore-test FIXME (Miri issue #1711)
 #![allow(invalid_value)]
 
 union MyUninit {