From 0cba44acbd6c6d92064b3d42954d0107e411cad0 Mon Sep 17 00:00:00 2001 From: Lukas Wirth Date: Tue, 10 Dec 2024 14:55:12 +0100 Subject: [PATCH] Fix missing refs --- src/associated-items.rst | 2 +- src/entities-and-resolution.rst | 4 ++-- src/expressions.rst | 2 +- src/glossary.rst | 13 ++++++++++--- src/lexical-elements.rst | 2 +- src/macros.rst | 12 ++++++------ src/ownership-and-deconstruction.rst | 8 ++++---- src/types-and-traits.rst | 6 +++--- 8 files changed, 28 insertions(+), 21 deletions(-) diff --git a/src/associated-items.rst b/src/associated-items.rst index c4683bb2..7bf8d877 100644 --- a/src/associated-items.rst +++ b/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` diff --git a/src/entities-and-resolution.rst b/src/entities-and-resolution.rst index bf9ccaa9..00cd3ecb 100644 --- a/src/entities-and-resolution.rst +++ b/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. ` 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. ` +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``. diff --git a/src/expressions.rst b/src/expressions.rst index a62bb813..bd5b882c 100644 --- a/src/expressions.rst +++ b/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 diff --git a/src/glossary.rst b/src/glossary.rst index 08658414..fb708f00 100644 --- a/src/glossary.rst +++ b/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 diff --git a/src/lexical-elements.rst b/src/lexical-elements.rst index 8ee5560c..dad1dade 100644 --- a/src/lexical-elements.rst +++ b/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`. diff --git a/src/macros.rst b/src/macros.rst index f8d2d13e..545aaf39 100644 --- a/src/macros.rst +++ b/src/macros.rst @@ -554,28 +554,28 @@ as a :t:`statement`. .. rubric:: Examples :dp:`fls_338rmbazl67o` -See :p:`20.1. ` 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. ` 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. ` 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. ` for the declaration of +See :ref:`fls_2d6bqnpy6tvs` for the declaration of ``make_answer_to_life``. .. code-block:: rust @@ -583,7 +583,7 @@ See :p:`20.2.1. ` for the declaration of make_answer_to_life!(); :dp:`fls_d9w3dn2yn7mo` -See :p:`20.2.2. ` for the declaration of ``Answer``. +See :ref:`fls_o8s3r7m90q59` for the declaration of ``Answer``. .. code-block:: rust @@ -591,7 +591,7 @@ See :p:`20.2.2. ` for the declaration of ``Answer``. struct derive_macro_invoker; :dp:`fls_1tftbd91yfpd` -See :p:`20.2.3. ` for the declaration of +See :ref:`fls_4vjbkm4ceymk` for the declaration of ``output_and_return_item``. .. code-block:: rust diff --git a/src/ownership-and-deconstruction.rst b/src/ownership-and-deconstruction.rst index dff2bad5..7dda78fa 100644 --- a/src/ownership-and-deconstruction.rst +++ b/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. ` 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. ` 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 diff --git a/src/types-and-traits.rst b/src/types-and-traits.rst index 9b4a1168..8af843f5 100644 --- a/src/types-and-traits.rst +++ b/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. ` for the declaration of Shape. +See :ref:`fls_85vx1qfa061i` for the declaration of ``Shape``. .. _fls_ikfvbeewame7: