diff --git a/library/core/src/ptr/non_null.rs b/library/core/src/ptr/non_null.rs
index 6c6a1e26eb9b7..6186045cd4960 100644
--- a/library/core/src/ptr/non_null.rs
+++ b/library/core/src/ptr/non_null.rs
@@ -309,7 +309,6 @@ impl<T: ?Sized> NonNull<T> {
     #[must_use]
     #[inline]
     #[stable(feature = "strict_provenance", since = "CURRENT_RUSTC_VERSION")]
-   // #[requires(addr.get() != 0)]
     #[ensures(|result: &Self| 
         !result.as_ptr().is_null() &&
         result.addr() == addr )]