diff --git a/shared b/shared
index 7bc477c2..ccc289ed 160000
--- a/shared
+++ b/shared
@@ -1 +1 @@
-Subproject commit 7bc477c29879ebfc03047869af549fcd2313ae6e
+Subproject commit ccc289edec6fe45b2987e4f3983d787396f2fe81
diff --git a/src/program-structure-and-compilation.rst b/src/program-structure-and-compilation.rst
index 916a8fac..ff5f02bb 100644
--- a/src/program-structure-and-compilation.rst
+++ b/src/program-structure-and-compilation.rst
@@ -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.
diff --git a/src/types-and-traits.rst b/src/types-and-traits.rst
index a5c636e0..b918cc56 100644
--- a/src/types-and-traits.rst
+++ b/src/types-and-traits.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