From d60a30d1f201c6a4b9afd8b5080e967010d5c8eb Mon Sep 17 00:00:00 2001 From: Florin Coada Date: Tue, 21 Apr 2026 16:43:40 +0100 Subject: [PATCH] Update docs/codeql/codeql-language-guides/customizing-library-models-for-rust.rst Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com> --- .../customizing-library-models-for-rust.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/codeql/codeql-language-guides/customizing-library-models-for-rust.rst b/docs/codeql/codeql-language-guides/customizing-library-models-for-rust.rst index 11ac2ee0adf..c82c421076d 100644 --- a/docs/codeql/codeql-language-guides/customizing-library-models-for-rust.rst +++ b/docs/codeql/codeql-language-guides/customizing-library-models-for-rust.rst @@ -533,7 +533,7 @@ The following tokens are commonly used: - **ReturnValue** selects the return value of a function call. - **Element** selects an element in a collection (such as a ``Vec``, ``HashMap``, or iterator). - **Field[**\ ``type::field``\ **]** selects a named field of a struct or enum variant. For example, ``Field[ihex::Record::Data::value]`` selects the field ``value`` of the ``ihex::Record::Data`` variant. -- **Field[**\ ``type(i)``\ **]** selects the ``i``-th positional field of a tuple struct or tuple enum variant. For example, ``Field[core::result::Result::Ok(0)]`` selects the value inside ``Ok``. +- **Field[**\ ``type(i)``\ **]** selects the ``i``-th positional field of a tuple struct or tuple enum variant. For example, ``Field[core::result::Result::Ok(0)]`` selects the first positional value inside ``Ok``. - **Field[**\ ``i``\ **]** selects the ``i``-th element of a tuple. - **Reference** follows through a reference (``&T`` or ``&mut T``) to reach the referenced value. - **Future** follows through a ``Future`` to reach the value that will be available after ``.await``.