From 79f2fd50b9c3df89f9fb62d23ed1ccfa68d24562 Mon Sep 17 00:00:00 2001
From: lcnr <rust@lcnr.de>
Date: Thu, 17 Jul 2025 13:16:03 +0200
Subject: [PATCH] fix coerce unsized impl

---
 src/type-coercions.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/type-coercions.md b/src/type-coercions.md
index a69b86968..7d5b51942 100644
--- a/src/type-coercions.md
+++ b/src/type-coercions.md
@@ -221,8 +221,9 @@ r[coerce.unsized.composite]
     * T is not part of the type of any other fields.
 
 r[coerce.unsized.pointer]
-Additionally, a type `Foo<T>` can implement `CoerceUnsized<Foo<U>>` when `T`
-implements `Unsize<U>` or `CoerceUnsized<Foo<U>>`. This allows it to provide an
+Additionally, a type `Foo<T>` can implement `CoerceUnsized<Foo<U>>` if there exists
+exactly one non-`PhantomData` field which depends on the changed generic parameters
+for which `Field<T>: CoerceUnsized<Field<U>>` holds. This allows it to provide an
 unsized coercion to `Foo<U>`.
 
 > [!NOTE]