pointers are mutually compatible even if they are wide

rust-lang · Sep 3, 2023 · 037afca · 037afca
1 parent 81dadf6
commit 037afca
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/library/core/src/primitive_docs.rs b/library/core/src/primitive_docs.rs
@@ -1545,8 +1545,8 @@ mod prim_ref {}
 /// The following types are guaranteed to be ABI-compatible:
 ///
 /// - Every type is ABI-compatible with itself.
-/// - If `<T as Pointee>::Metadata == ()`, then `*const T`, `*mut T`, `&T`, `&mut T`, `Box<T>`,
-///   `NonNull<T>` are all ABI-compatible with each other.
+/// - `*const T`, `*mut T`, `&T`, `&mut T`, `Box<T>`, `NonNull<T>` are all ABI-compatible with each
+///   other for all `T`.
 /// - Any two `fn()` types with the same `extern` ABI string are ABI-compatible with each other.
 /// - Any two 1-ZST types (types with size 0 and alignment 1) are ABI-compatible.
 /// - A `repr(transparent)` type `T` is ABI-compatible with its unique non-1-ZST field (if there is

diff --git a/library/std/src/primitive_docs.rs b/library/std/src/primitive_docs.rs
@@ -1545,8 +1545,8 @@ mod prim_ref {}
 /// The following types are guaranteed to be ABI-compatible:
 ///
 /// - Every type is ABI-compatible with itself.
-/// - If `<T as Pointee>::Metadata == ()`, then `*const T`, `*mut T`, `&T`, `&mut T`, `Box<T>`,
-///   `NonNull<T>` are all ABI-compatible with each other.
+/// - `*const T`, `*mut T`, `&T`, `&mut T`, `Box<T>`, `NonNull<T>` are all ABI-compatible with each
+///   other for all `T`.
 /// - Any two `fn()` types with the same `extern` ABI string are ABI-compatible with each other.
 /// - Any two 1-ZST types (types with size 0 and alignment 1) are ABI-compatible.
 /// - A `repr(transparent)` type `T` is ABI-compatible with its unique non-1-ZST field (if there is