diff --git a/example/mini_core.rs b/example/mini_core.rs
index 934e4b1786f..3607b7cd944 100644
--- a/example/mini_core.rs
+++ b/example/mini_core.rs
@@ -11,7 +11,7 @@
     thread_local
 )]
 #![no_core]
-#![allow(dead_code, internal_features)]
+#![allow(dead_code, internal_features, ambiguous_wide_pointer_comparisons)]
 
 #[lang = "sized"]
 pub trait Sized {}