From e58fe792a24cf7cea72d5d9096be1edf76d506ed Mon Sep 17 00:00:00 2001
From: Joshua Liebow-Feeser <hello@joshlf.com>
Date: Sat, 17 Feb 2024 12:14:27 -0800
Subject: [PATCH] Relax type bounds in Ptr::from_maybe_uninit_ref

---
 src/pointer/ptr.rs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/pointer/ptr.rs b/src/pointer/ptr.rs
index c028591693..3bed5ce848 100644
--- a/src/pointer/ptr.rs
+++ b/src/pointer/ptr.rs
@@ -472,7 +472,7 @@ mod _conversions {
     }
 
     /// `&'a MaybeUninit<T>` → `Ptr<'a, T>`
-    impl<'a, T> Ptr<'a, T, (invariant::Shared, invariant::Aligned, invariant::Valid)>
+    impl<'a, T> Ptr<'a, T, (invariant::Shared, invariant::Aligned, invariant::AnyValidity)>
     where
         T: 'a,
     {
@@ -509,9 +509,7 @@ mod _conversions {
             //
             //   `MaybeUninit<T>` is guaranteed to have the same size,
             //   alignment, and ABI as `T`
-            let ptr = unsafe { ptr.assume_alignment::<invariant::Aligned>() };
-            // SAFETY: `MaybeUninit` has no validity invariants.
-            unsafe { ptr.assume_valid() }
+            unsafe { ptr.assume_alignment::<invariant::Aligned>() }
         }
     }
 }