Skip to content

Commit d60a30d

Browse files
coadafloringeoffw0
andauthored
Update docs/codeql/codeql-language-guides/customizing-library-models-for-rust.rst
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
1 parent da88268 commit d60a30d

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

docs/codeql/codeql-language-guides/customizing-library-models-for-rust.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -533,7 +533,7 @@ The following tokens are commonly used:
533533
- **ReturnValue** selects the return value of a function call.
534534
- **Element** selects an element in a collection (such as a ``Vec``, ``HashMap``, or iterator).
535535
- **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.
536-
- **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``.
536+
- **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``.
537537
- **Field[**\ ``i``\ **]** selects the ``i``-th element of a tuple.
538538
- **Reference** follows through a reference (``&T`` or ``&mut T``) to reach the referenced value.
539539
- **Future** follows through a ``Future`` to reach the value that will be available after ``.await``.

0 commit comments

Comments
 (0)