Merge #472

472: Specify signature compatability requirement for fn ptr coercion r=pietroalbini a=Veykril Fixes #460 Co-authored-by: Lukas Wirth <[email protected]>
ferrocene · Nov 16, 2023 · a445f25 · a445f25
2 parents 46c0959 + fab81d7
commit a445f25
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/types-and-traits.rst b/src/types-and-traits.rst
@@ -1977,12 +1977,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