Fix missing refs

src/associated-items.rst

@@ -63,7 +63,7 @@ or :c:`Self` and ``'lifetime`` is the :t:`lifetime parameter`, when
 
 * :dp:`fls_6Z05BK2JSzpP`
   The corresponding :t:`lifetime argument` in the use is not the ``'static``
-  :t:`lifetime` and has either an explicit :t:`bound` or an :t:`implicit bound`
+  :t:`lifetime` and has either an explicit :t:`bound` or an :t:`implied bound`
   that constrains the :t:`type parameter`, and
 
 * :dp:`fls_AtItgS1UvwiX`

src/entities-and-resolution.rst

@@ -402,7 +402,7 @@ then the :t:`path segment` shall be the last :t:`path segment` of the
 .. rubric:: Examples
 
 :dp:`fls_cul31g1kkz5c`
-The following is a simple path. See :p:`14.2. <fls_q13sty1g9jtn>` for the
+The following is a simple path. See :ref:`fls_jdknpu3kf865` for the
 declaration of ``crate_visible_function``.
 
 .. code-block:: rust
@@ -1138,7 +1138,7 @@ the :t:`visibility` of the :t:`name` is the most permissive one.
 .. rubric:: Examples
 
 :dp:`fls_5dlnffim6fso`
-The following is a glob import. See :p:`14.2. <fls_q13sty1g9jtn>`
+The following is a glob import. See :ref:`fls_jdknpu3kf865`
 for the declaration of modules and functions. The imported functions
 are ``create_visible_function``, ``outer_module_visible_function``,
 ``visible_function``.

src/expressions.rst

@@ -2218,7 +2218,7 @@ A :t:`type cast expression` with the following characteristics performs a
 
 * :dp:`fls_bhw2j9wjpf2x`
   An :t:`operand` of a :t:`function pointer type` and a target :t:`integer type`
-  perform :t:`function-pointer-to-address` cast. A
+  perform :t:`function-pointer-to-address cast`. A
   :dt:`function-pointer-to-address cast` produces an integer that represents the
   machine address of the referenced :t:`function`. If the :t:`integer type` is
   smaller than the size of the :t:`function pointer type`, the address is

src/glossary.rst

@@ -105,8 +105,7 @@ adjusted call operand
 ^^^^^^^^^^^^^^^^^^^^^
 
 :dp:`fls_mchqbc64iu0u`
-An :dt:`adjusted call operand` is a :t:`call operand` with possible
-:t:`auto-dereferencing` adjustments.
+An :dt:`adjusted call operand` is a :t:`call operand` adjusted with inserted :t:`[borrow expression]s` and :t:`[dereference expression]s`.
 
 .. _fls_j775guurkgo4:
 
@@ -6806,7 +6805,7 @@ trivial predicate
 
 :dp:`fls_db5njwrjolhs`
 A :dt:`trivial predicate` is a :t:`where clause predicate` that does not use
-the :t:`[generic parameter]s` or :t:`[higher-ranked lifetime]s` of the related
+the :t:`[generic parameter]s` or :t:`[higher-ranked trait bound]s` of the related
 :t:`construct`.
 
 .. _fls_si70t19ox07e:
@@ -7443,6 +7442,14 @@ unsafe context
 An :dt:`unsafe context` is either an :t:`unsafe block` or an
 :t:`unsafe function`.
 
+.. _fls_pre02nas9dad:
+
+unsafe external block
+^^^^^^^^^^^^^^^^^^^^^
+
+:dp:`fls_pkfgas34msas`
+An :dt:`unsafe external block` is an :t:`external block` subject to keyword ``unsafe``.
+
 .. _fls_ua64pv82skaw:
 
 unsafe function

src/lexical-elements.rst

@@ -1556,5 +1556,5 @@ Word ``union`` acts as a :t:`keyword` only when used in the context of a
 :s:`UnionDeclaration`.
 
 :dp:`fls_g0JEluWqBpNc`
-Word ``safe`` acts as a :t:`keyword` only when used as a qualifier of :s:`Function` or :s:`Static` in the context of a :s:`ExternalBlock`.
+Word ``safe`` acts as a :t:`keyword` only when used as a qualifier of :s:`FunctionDeclaration` or :s:`StaticDeclaration` in the context of a :s:`ExternalBlock`.
 

src/macros.rst

@@ -554,44 +554,44 @@ as a :t:`statement`.
 .. rubric:: Examples
 
 :dp:`fls_338rmbazl67o`
-See :p:`20.1. <fls_yrq1n547uzp>` for the declaration of ``answer_to_life``.
+See :ref:`fls_xa7lp0zg1ol2` for the declaration of ``answer_to_life``.
 
 .. code-block:: rust
 
    answer_to_life!();
 
 :dp:`fls_lrr7gg8tian`
-See :p:`20.1.1. <fls_mej9pty172v4>` for the declaration of ``square``.
+See :ref:`fls_8nzypdu9j3ge` for the declaration of ``square``.
 
 .. code-block:: rust
 
    square!(5);
 
 :dp:`fls_8qxwwf4trnl`
-See :p:`20.1.2. <fls_b45ng0j84lli>` for the declaration of ``generate_pairs``.
+See :ref:`fls_k01lsksqtq1r` for the declaration of ``generate_pairs``.
 
 .. code-block:: rust
 
    generate_pairs!(1, 2, 3; 9, 8, 7);
 
 :dp:`fls_8z1sgtvchhhw`
-See :p:`20.2.1. <fls_33w6tcb743j0>` for the declaration of
+See :ref:`fls_2d6bqnpy6tvs` for the declaration of
 ``make_answer_to_life``.
 
 .. code-block:: rust
 
    make_answer_to_life!();
 
 :dp:`fls_d9w3dn2yn7mo`
-See :p:`20.2.2. <fls_uqp2svg2kntl>` for the declaration of ``Answer``.
+See :ref:`fls_o8s3r7m90q59` for the declaration of ``Answer``.
 
 .. code-block:: rust
 
    #[derive(Answer)]
    struct derive_macro_invoker;
 
 :dp:`fls_1tftbd91yfpd`
-See :p:`20.2.3. <fls_r5isidirsy03>` for the declaration of
+See :ref:`fls_4vjbkm4ceymk` for the declaration of
 ``output_and_return_item``.
 
 .. code-block:: rust

src/ownership-and-deconstruction.rst

@@ -73,7 +73,7 @@ of the assignment statement.
 
 :dp:`fls_jmcjboopvytb`
 Variable ``c`` starts off initialized, but is later uninitialized by virtue of a
-transfer by move.
+transfer :t:`by move`.
 
 .. code-block:: rust
 
@@ -400,7 +400,7 @@ An :t:`uninitialized` :t:`variable` is not :t:`dropped`.
 
 #. :dp:`fls_gjn2jnsal9gs`
    Otherwise, if the :t:`drop type` is a :t:`closure type`, then all
-   :t:`[capture target]s` whose :t:`capture mode` is :t:`by move mode` are
+   :t:`[capture target]s` whose :t:`capture mode` is :t:`by move` are
    :t:`dropped` in unspecified order.
 
 #. :dp:`fls_ol2w2292frfi`
@@ -660,7 +660,7 @@ has an extended :t:`drop scope` is extended to the :t:`drop scope` of the
 .. rubric:: Examples
 
 :dp:`fls_29y59x8bmw75`
-See :p:`15.6.1. <fls_u2mzjgiwbkz0>` for the declaration of ``PrintOnDrop``.
+See :ref:`fls_u2mzjgiwbkz0` for the declaration of ``PrintOnDrop``.
 
 :dp:`fls_subo2w7ln43q`
 The drop scope of the temporary created for expression ``AtomicI32::new(42)`` is
@@ -715,7 +715,7 @@ When multiple :t:`[drop scope]s` are left at once, the :t:`[value]s` are
 .. rubric:: Examples
 
 :dp:`fls_oe8l81y0wnao`
-See :p:`15.6.1. <fls_u2mzjgiwbkz0>` for the declaration of ``PrintOnDrop``.
+See :ref:`fls_u2mzjgiwbkz0` for the declaration of ``PrintOnDrop``.
 
 :dp:`fls_4sgca9wcl8h0`
 The drop order of the following variables is ``b``, ``c``, ``a``. Dropping

src/types-and-traits.rst

@@ -382,7 +382,7 @@ Floating Point Types
 .. rubric:: Dynamic Semantics
 
 :dp:`fls_nuFAwLHOdQBx`
-Operations on values of :t:`floating point types` may not preserve the sign bit in case of the value being a IEEE floating-point ``NaN``.
+Operations on values of :t:`[floating point type]s` may not preserve the sign bit in case of the value being a IEEE floating-point ``NaN``.
 
 .. _fls_3qnpv2z7yjil:
 
@@ -2847,7 +2847,7 @@ A :t:`trait` is :t:`object safe` when:
   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`
+  Its :t:`[associated type]s` specify a :std:`core::marker::Sized`
   :t:`[trait bound]` for :c:`Self` in a :t:`type bound predicate`.
 
 :dp:`fls_uixekv82g2e5`
@@ -3014,7 +3014,7 @@ A :t:`lifetime bound` shall apply to :t:`[type]s` and other :t:`[lifetime]s`.
    &'static Shape
 
 :dp:`fls_gcszhqg6hnva`
-See :p:`4.12. <fls_85vx1qfa061i>` for the declaration of Shape.
+See :ref:`fls_85vx1qfa061i` for the declaration of ``Shape``.
 
 .. _fls_ikfvbeewame7: