diff --git a/library/core/src/primitive_docs.rs b/library/core/src/primitive_docs.rs
index d80c55538055b..e46b9298f4771 100644
--- a/library/core/src/primitive_docs.rs
+++ b/library/core/src/primitive_docs.rs
@@ -1858,9 +1858,22 @@ mod prim_ref {}
 ///   call will be valid ABI-wise. The callee receives the result of transmuting the function pointer
 ///   from `fn()` to `fn(i32)`; that transmutation is itself a well-defined operation, it's just
 ///   almost certainly UB to later call that function pointer.)
-/// - Any two types with size 0 and alignment 1 are ABI-compatible.
-/// - A `repr(transparent)` type `T` is ABI-compatible with its unique non-trivial field, i.e., the
-///   unique field that doesn't have size 0 and alignment 1 (if there is such a field).
+/// - Any two types with "trivial ABI" are ABI-compatible.
+///   A type has trivial ABI if is satisfies all of the following:
+///   - It has size 0.
+///   - It has alignment 1.
+///   - One of the following apply:
+///     - It is a `repr(Rust)` (implicitly or explicitly) `struct`, `enum`, `union` (regardless of its fields,
+///       and possibly with additional `repr` modifiers such as `packed`).
+///     - It is a [tuple][prim_tuple] (regardless of its fields, and including [`()`][prim_unit]).
+///     - It is a `repr(transparent)` `struct`, `enum`, or `union`, and all fields have trivial ABI.
+///     - It is an array, and its element type has trivial ABI. (This requirement applies even to arrays of length 0.)
+///     - It is [the never type `!`][prim_never].
+//     - It is a pattern type or an unsafe binder type, and the inner type has trivial ABI.
+//       (These are still unstable so intentionally not included in the user-visible doc comment, as their rules may change.)
+///     - It is a function item type or closure type.
+/// - A `repr(transparent)` type is ABI-compatible with its unique field that does not have trivial ABI
+///   (as defined above), if such a field exists. (Note that if no such field exists, then the `repr(transparent)` type itself has trivial ABI, so the case above applies.)
 /// - `i32` is ABI-compatible with `NonZero<i32>`, and similar for all other integer types.
 /// - If `T` is guaranteed to be subject to the [null pointer
 ///   optimization](option/index.html#representation), and `E` is an enum satisfying the following