Specify signature compatability requirement for fn ptr coercion

ferrocene · Nov 16, 2023 · fab81d7 · fab81d7
1 parent 496ef38
commit fab81d7
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/types-and-traits.rst b/src/types-and-traits.rst
@@ -1968,12 +1968,12 @@ occur when:
   using :t:`unsized coercion`.
 
 * :dp:`fls_ulcdetwp6x96`
-  The source :t:`type` is a :t:`function item type` and the target :t:`type` is
-  a :t:`function pointer type`.
+  The source :t:`type` is a :t:`function item type`, the target :t:`type` is
+  a :t:`function pointer type` and the source's :t:`function signature` is a :t:`subtype` of the target's :t:`function signature`.
 
 * :dp:`fls_2uv1r0gni1fk`
-  The source :t:`type` is a non-capturing :t:`closure type` and the target
-  :t:`type` is a :t:`function pointer type`.
+  The source :t:`type` is a non-capturing :t:`closure type`, the target
+  :t:`type` is a :t:`function pointer type` and the source's :t:`function signature` is a :t:`subtype` of the target's :t:`function signature`.
 
 * :dp:`fls_sf0c3fbx8z57`
   The source :t:`type` is the :t:`never type` and the target :t:`type` is any