From da88268943ec02bfc38dd96699f28e55d5cace60 Mon Sep 17 00:00:00 2001 From: Florin Coada Date: Tue, 21 Apr 2026 16:43:25 +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 0b0710403d2..11ac2ee0adf 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 @@ -532,7 +532,7 @@ The following tokens are commonly used: - **Parameter[**\ ``n``\ **]** selects the ``n``-th parameter of a callback. May be a range of the form ``x..y`` (inclusive) and/or a comma-separated list. - **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[core::option::Option::Some(0)]`` selects the first positional field of the ``Some`` variant. +- **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[**\ ``i``\ **]** selects the ``i``-th element of a tuple. - **Reference** follows through a reference (``&T`` or ``&mut T``) to reach the referenced value.