document missing import restrictions

src/changelog.rst

@@ -28,6 +28,33 @@ Language changes in Rust 1.95.0
   - Lints are outside the scope of the FLS.
 
 - `Support importing path-segment keywords with renaming <https://github.com/rust-lang/rust/pull/146972>`_
+
+  - New paragraphs:
+
+    - :p:`fls_sUhnfV62HJrb`
+    - :p:`fls_QGdeRTe0H1Uc`
+    - :p:`fls_aam34hsRmKU2`
+    - :p:`fls_uSajfdSsbxna`
+    - :p:`fls_aam34hsRmKU2`
+
+  - Changed paragraphs:
+
+    - :p:`fls_2bkcn83smy2y`
+    - :p:`fls_iuzvtr3oax1o`
+    - :p:`fls_90hQvSh7Bfyg`
+    - :p:`fls_RUiFQ17bmRLt`
+    - :p:`fls_opn5n5t2mo3m`
+    - :p:`fls_7k88ypcgaoff`
+    - :dp:`fls_yY58pFpkig9o`
+    - :dp:`fls_ar03D5rxjzy0`
+
+  - Removed paragraphs:
+
+    - :p:`fls_cw006jhlboa`
+    - :p:`fls_hv3xT2CjZuxc`
+    - :p:`fls_Pxc0Ts8Y7pfW`
+    - :p:`fls_kz2Gij5wHXnl`
+
 - `Stabilize ppc inline assembly <https://github.com/rust-lang/rust/pull/147996>`_
 
   - The target is outside the scope of the FLS.
@@ -44,7 +71,10 @@ FLS corrections
 
 Changed paragraph: :p:`fls_1941wid94hlg`
 
-New paragraph: :p:`fls_CSuxTkwR96j9`
+New paragraphs:
+
+- :p:`fls_CSuxTkwR96j9`
+- :p:`fls_LV94x3HlpBWk`
 
 Language changes in Rust 1.94.0
 -------------------------------

src/entities-and-resolution.rst

@@ -295,24 +295,25 @@ A :t:`path segment` is an element of a :t:`path`.
 A :t:`path` is subject to :t:`path resolution`.
 
 :dp:`fls_opn5n5t2mo3m`
-If a :t:`path segment` is expressed as either :t:`keyword` ``crate``,
-:t:`keyword` ``$crate``, :t:`keyword` ``self``, or :t:`keyword` ``Self``, then
-the :t:`path segment` shall be the first :t:`path segment` of a :t:`path`.
+If a :t:`path segment` is expressed as either :t:`keyword` ``crate``, :t:`keyword` ``$crate``, or :t:`keyword` ``Self``, then the :t:`path segment` shall be the first :t:`path segment` of a :t:`path`.
+
+:dp:`fls_uSajfdSsbxna`
+If a :t:`path segment` is expressed as :t:`keyword` ``self``, then the :t:`path segment` shall be the first :t:`path segment` of a :t:`path`, except that it may also be the last :t:`path segment` of a :t:`simple import` that appears in a :t:`nesting import`.
 
 :dp:`fls_774uryecc2sx`
 A :t:`path` that starts with a :t:`path segment` that is expressed as
 :t:`keyword` ``$crate`` shall appear only within a :t:`macro transcriber`.
 
 :dp:`fls_7k88ypcgaoff`
-If a :t:`path segment` is expressed as :t:`keyword` ``super``, then the
-:t:`path segment` shall either be the first :t:`path segment` of a :t:`path`,
-or the previous :t:`path segment` of the :t:`path` shall also be expressed as
-:t:`keyword` ``super``.
+If a :t:`path segment` is expressed as :t:`keyword` ``super``, then each :t:`path segment` that precedes it in the :t:`path` shall be expressed as :t:`keyword` ``super``, except that the first :t:`path segment` of the :t:`path` may be expressed as :t:`keyword` ``self``.
 
 :dp:`fls_7kb6ltajgiou`
 A :t:`global path` is a :t:`path` that starts with :t:`namespace qualifier`
 ``::``.
 
+:dp:`fls_P6dFw89ZDKv2`
+The first :t:`path segment` of a :t:`global path` shall be expressed as an :t:`identifier` whose :t:`name` matches the :t:`name` of a :t:`candidate external prelude entity`.
+
 :dp:`fls_n77icl6idazp`
 A :t:`simple path` is a :t:`path` whose :t:`[path segment]s` consist of either
 :t:`[identifier]s` or certain :t:`[keyword]s` as defined in the syntax rules
@@ -327,13 +328,7 @@ If a :t:`simple path` appears in a :t:`use import` and starts with a
 :t:`path segment` expressed as either :t:`keyword` ``crate``, :t:`keyword`
 ``$crate``, :t:`keyword` ``self``, or :t:`keyword` ``super``, then the
 :t:`path` shall be the :t:`simple path prefix` of a :t:`glob import` or a
-:t:`nesting import`, or the :t:`simple path` of a :t:`simple import`.
-
-:dp:`fls_cw006jhlboa`
-If a :t:`simple path` appears in a :t:`use import` and starts with a
-:t:`path segment` expressed as :t:`keyword` ``self``, then the :t:`path` shall
-be part of the :s:`UseImportContent` of a :t:`nesting import` as long as the
-:t:`path` is a :t:`single segment path`.
+:t:`nesting import`, or the :t:`path` of a :t:`simple import`.
 
 :dp:`fls_kv5bpq8rf1j9`
 A :t:`simple path` is subject to :t:`simple path resolution`.
@@ -1049,9 +1044,7 @@ An :dt:`import path prefix` is the fully constructed :t:`path` prefix of a
    the current :t:`use import`.
 
 :dp:`fls_2bkcn83smy2y`
-A :t:`simple import` is a :t:`use import` that brings all :t:`entities <entity>`
-it refers to into scope, optionally with a different
-:t:`name` than they are declared with by using a :t:`renaming`.
+A :dt:`simple import` is a :t:`use import` that bring an :t:`entity` selected by its :t:`simple import path`, or by its :t:`import path prefix` when its :t:`simple path` ends in :t:`keyword` ``self`` and it appears in a :t:`nesting import`, into :t:`scope`.
 
 :dp:`fls_v3a6y2ze44v2`
 A :t:`glob import` is a :t:`use import` that brings all :t:`entities <entity>`
@@ -1075,37 +1068,30 @@ A :t:`glob import` brings :t:`[name]s` into :t:`scope` as follows:
 
 :dp:`fls_90hQvSh7Bfyg`
 A :dt:`simple import path` is the :t:`path` constructed by appending the last
-:t:`path segment` of a :t:`simple import`'s :t:`simple path` to the
+:t:`path segment` of the :t:`path` of the :t:`simple import` to the
 :t:`import path prefix`.
 
 :dp:`fls_wRmvtgQkFA6w`
 A :t:`simple import` brings :t:`[name]s` into :t:`scope` as follows:
 
-* :dp:`fls_kz2Gij5wHXnl`
-  If the :t:`simple path` is keyword ``self`` and:
-
-  * :dp:`fls_yY58pFpkig9o`
-    The :t:`simple import` is in a :t:`nesting import`, then bring the
-    :t:`entity` in :t:`type namespace` that the :t:`import path prefix` resolves
-    to into :t:`scope`.
+* :dp:`fls_yY58pFpkig9o`
+  If the :t:`simple import` appears in a :t:`nesting import`, and the last :t:`path segment` of its :t:`simple path` is expressed as :t:`keyword` ``self``, then bring the :t:`entity` in :t:`type namespace` that the :t:`import path prefix` resolves to into :t:`scope`.
 
-  * :dp:`fls_ar03D5rxjzy0`
-    Otherwise bring the containing :t:`module` into :t:`scope`.
+* :dp:`fls_ar03D5rxjzy0`
+  If the :t:`simple path` is :t:`keyword` ``self``, then bring the containing :t:`module` into :t:`scope`.
 
 * :dp:`fls_ce73bg0BqV1X`
   Otherwise bring all :t:`entities <entity>` that the :t:`simple import path`
   resolves to that are visible from the location of the
   :t:`simple import` into :t:`scope`.
 
 :dp:`fls_FILuR3pfwjw3`
-An :t:`Entity` imported by a :t:`simple import` subject to a
+An :t:`entity` imported by a :t:`simple import` subject to a
 :t:`renaming` with :t:`identifier` is brought into :t:`scope` under the
 :t:`name` declared by the :t:`renaming`.
 
 :dp:`fls_iQOgxNihUEr7`
-A :t:`trait` imported by a :t:`simple import` subject to a
-:t:`renaming` with character underscore ``_`` is added into :t:`scope` without
-a :t:`name`.
+An :t:`entity` imported by a :t:`simple import` subject to a :t:`renaming` with character underscore ``_`` is added into :t:`scope` without a :t:`name`.
 
 :dp:`fls_ldr7tsuqw34s`
 A :t:`nesting import` is a :t:`use import` that provides a common
@@ -1115,17 +1101,6 @@ A :t:`nesting import` is a :t:`use import` that provides a common
 A :t:`glob import` outside of a :t:`nesting import` without a :t:`simple path
 prefix` is rejected, but may still be consumed by :t:`[macro]s`.
 
-:dp:`fls_RUiFQ17bmRLt`
-A :t:`simple import` with a :t:`simple path` with a single :t:`path segment` of
-keyword ``self`` shall be subject to the following:
-
-* :dp:`fls_hv3xT2CjZuxc`
-  It shall either appear in a :t:`nesting import` with a non-empty
-  :t:`import path prefix`, or
-
-* :dp:`fls_Pxc0Ts8Y7pfW`
-  It shall be subject to a :t:`renaming`.
-
 :dp:`fls_wB3fVglLOqbZ`
 It is a static error if two :t:`[glob import]s` import the same :t:`name` in the
 same :t:`namespace` but refer to different :t:`entities <entity>` if the
@@ -1135,6 +1110,21 @@ same :t:`namespace` but refer to different :t:`entities <entity>` if the
 If two :t:`[glob import]s` import the same :t:`entity` under the same :t:`name`,
 the :t:`visibility` of the :t:`name` is the most permissive one.
 
+:dp:`fls_RUiFQ17bmRLt`
+A :t:`simple import` with a single :t:`path segment` expressed as :t:`keyword` ``self`` shall be subject to a :t:`renaming`.
+
+:dp:`fls_sUhnfV62HJrb`
+A :t:`use import` with a single :t:`path segment` expressed as either :t:`keyword` ``crate`` or :t:`keyword` ``$crate`` shall be subject to a :t:`renaming`.
+
+:dp:`fls_QGdeRTe0H1Uc`
+When a :t:`path segment` expressed as :t:`keyword` ``super`` is used to import a parent :t:`module`, the imported :t:`entity` shall be subject to a :t:`renaming`.
+
+:dp:`fls_aam34hsRmKU2`
+A :t:`global path` where any of its :t:`[path segment]s` are expressed as any of the :t:`[keyword]s`, ``self``, ``super``, ``crate``, and ``$crate``, shall not be used.
+
+:dp:`fls_LV94x3HlpBWk`
+A :t:`simple import` shall not refer to :t:`[enum variant]s` through a :t:`type alias`.
+
 .. rubric:: Examples
 
 :dp:`fls_5dlnffim6fso`
@@ -1164,8 +1154,6 @@ The following is a selective import. The imported functions are
    use outer_module::inner_module
        {crate_visible_function, visible_function}
 
-.. rubric:: Legality Rules
-
 .. _fls_ydmnb7qnmzzq:
 
 Shadowing

src/glossary.rst

@@ -4099,8 +4099,7 @@ See :s:`SimpleCStringLiteral`.
 simple import
 ^^^^^^^^^^^^^
 
-A :dt:`simple import` is a :t:`use import` that binds a :t:`simple path` to a
-local :t:`name` by using an optional :t:`renaming`.
+A :dt:`simple import` is a :t:`use import` that brings a :t:`simple path` into scope, optionally with a :t:`renaming`.
 
 See :s:`SimpleImport`.