Merge #478

478: Update to 1.72.0 r=pietroalbini a=Veykril



Co-authored-by: Lukas Wirth <[email protected]>

Author: bors-ferrocene[bot]

shared

@@ -215,6 +215,11 @@ A :t:`construct` subject to :t:`attribute` :c:`cfg` where the related
 :t:`configuration predicate` evaluates to ``false`` is not considered part of a
 Rust program.
 
+:dp:`fls_y56RGw3cbFex`
+A :t:`crate root module` subject to :t:`attribute` :c:`cfg` where the related
+:t:`configuration predicate` evaluates to ``false`` is considered empty except
+for all :t:`[attribute]s` up to the invoked :t:`attribute` :c:`cfg`.
+
 :dp:`fls_h6b1fuw4nvi1`
 An :t:`attribute` :c:`cfg_attr` where the related :t:`configuration predicate`
 evaluates to ``false`` is not considered part of a Rust program.

src/program-structure-and-compilation.rst

@@ -2742,7 +2742,11 @@ A :t:`trait` is :t:`object safe` when:
   It lacks :t:`[associated constant]s`, and
 
 * :dp:`fls_kwo4cknx0yat`
-  Its :t:`[associated function]s` are :t:`object safe`.
+  Its :t:`[associated function]s` are :t:`object safe`, and
+
+* :dp:`fls_vmLLL82EQasI`
+  Its :t:`[associated type alias]es` specify a :std:`core::marker::Sized`
+  :t:`[trait bound]` for :c:`Self` in a :t:`type bound predicate`.
 
 :dp:`fls_uixekv82g2e5`
 An :t:`associated function` is :t:`object safe` when it is either an