pointers are mutually compatible even if they are wide

Author: RalfJung

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

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