From fab81d70f7d272662c798494df4a5e572e9b6b29 Mon Sep 17 00:00:00 2001 From: Lukas Wirth Date: Thu, 16 Nov 2023 13:34:13 +0100 Subject: [PATCH] Specify signature compatability requirement for fn ptr coercion --- src/types-and-traits.rst | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/types-and-traits.rst b/src/types-and-traits.rst index e5c1a57f..55cb08a2 100644 --- 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