From b833480de291028c032a5b1100f3d60541dc6436 Mon Sep 17 00:00:00 2001 From: Lukas Wirth Date: Mon, 9 Dec 2024 13:23:39 +0100 Subject: [PATCH] Specify rust-lang/rust#128934 --- src/changelog.rst | 5 +++++ src/types-and-traits.rst | 11 ++--------- 2 files changed, 7 insertions(+), 9 deletions(-) diff --git a/src/changelog.rst b/src/changelog.rst index 7e24ce4a..baad7e14 100644 --- a/src/changelog.rst +++ b/src/changelog.rst @@ -38,6 +38,11 @@ Language changes in Rust 1.83.0 * No change: Already covered by the definition of :t:`data race`. * `Non-exhaustive structs may now be empty. `_ + + * Removed paragraph: :p:`fls_2CWUWbYT9KcT` + + * Changed paragraph: :p:`fls_fSNrRsgzLd0E`, :p:`fls_S9QL6yVF5LFI` + * `Disallow implicit coercions from places of type \`!\` `_ * `\`const extern\` functions can now be defined for other calling conventions. `_ * `Stabilize \`expr_2021\` macro fragment specifier in all editions. `_ diff --git a/src/types-and-traits.rst b/src/types-and-traits.rst index 85e26e61..8c0109f1 100644 --- a/src/types-and-traits.rst +++ b/src/types-and-traits.rst @@ -2233,7 +2233,7 @@ A :t:`type` is subject to :t:`visible emptiness` as follows: The :t:`type` is an :t:`enum type` not subject to :t:`attribute` :c:`non_exhaustive` with all :t:`[enum variant]s` are subject to :t:`visible emptiness`. * :dp:`fls_fSNrRsgzLd0E` - The :t:`type` is a :t:`struct type` not subject to :t:`attribute` :c:`non_exhaustive` with at least one :t:`visible ` :t:`field` whose :t:`type` is subject to :t:`visible emptiness`. + The :t:`type` is a :t:`struct type` with at least one :t:`visible ` :t:`field` whose :t:`type` is subject to :t:`visible emptiness`. * :dp:`fls_R65LmGTvSlIm` The :t:`type` is a :t:`tuple type` with at least one of the contained :t:`[type]s` is subject to :t:`visible emptiness`. @@ -2241,15 +2241,8 @@ A :t:`type` is subject to :t:`visible emptiness` as follows: * :dp:`fls_yiPv3wKYkSRl` The :t:`type` is an :t:`array type` with a non-zero :t:`size operand` and an :t:`element type` that is subject to :t:`visible emptiness`. - :dp:`fls_S9QL6yVF5LFI` -A :t:`enum variant` is subject to :t:`visible emptiness` as follows: - -* :dp:`fls_xegU2TFXypcu` - The respective :t:`enum type` is not subject to :t:`attribute` :c:`non_exhaustive`. - -* :dp:`fls_2CWUWbYT9KcT` - The :t:`type` of at least one of the :t:`enum variant`'s visible :t:`[field]s` is subject to :t:`visible emptiness`. +A :t:`enum variant` is subject to :t:`visible emptiness` when the :t:`type` of at least one of the :t:`enum variant`'s visible :t:`[field]s` is subject to :t:`visible emptiness`. .. _fls_lv7w7aalpwm5: