Specify rust-lang/rust#128934

Author: Veykril

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. <https://github.com/rust-lang/rust/pull/128934>`_
+
+  * Removed paragraph: :p:`fls_2CWUWbYT9KcT`
+
+  * Changed paragraph: :p:`fls_fSNrRsgzLd0E`, :p:`fls_S9QL6yVF5LFI`
+
 * `Disallow implicit coercions from places of type \`!\` <https://github.com/rust-lang/rust/pull/129392>`_
 * `\`const extern\` functions can now be defined for other calling conventions. <https://github.com/rust-lang/rust/pull/129753>`_
 * `Stabilize \`expr_2021\` macro fragment specifier in all editions. <https://github.com/rust-lang/rust/pull/129972>`_

src/types-and-traits.rst

@@ -2233,23 +2233,16 @@ 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 <visibility>` :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 <visibility>` :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`.
 
 * :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 <visibility> :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 <visibility> :t:`[field]s` is subject to :t:`visible emptiness`.
 
 .. _fls_lv7w7aalpwm5: