Skip to main content Module alias Copy item path Source default mfp observer AliasPair AliasPair is used to store the alias relationships between two places.
The result is field-sensitive. FieldOrigin Identity of a struct field that a place resolves to. FnAliasMapWrapper This is a wrapper struct for displaying FnAliasMap. FnAliasPairs To store the alias relationships among arguments and return values.
Each function may have multiple return instructions, leading to different RetAlias. AliasAnalysis This trait provides features related to alias analysis. aa_place_desc_str 🔒 adt_from_ty Unwrap Ref / RawPtr / Adt layers to get the innermost ADT definition. collect_local_origins Build a lightweight intra-procedural origin map by scanning MIR assignments.
For each local = rvalue, records the source place if the rvalue is a
simple copy / move / cast / ref / raw-ptr / copy-for-deref. resolve_any_field_origin Like resolve_self_field_origin but uses the type of local instead
of always _1. For origins from call-site verification. resolve_place Resolve a MIR Place through the origin map.
If the place has field projections, returns them directly.
Otherwise, follows the alias chain one level. resolve_self_field_origin If local (typically 1 = self) with fields in def_id’s body
corresponds to a struct field, return its identity. rvalue_origin 🔒 Extract the origin (local_index, fields) from a rvalue, chasing through origins. FnAliasMap The data structure to store aliases for a set of functions. LocalOriginMap Lightweight intra-procedural local → origin mapping.
Maps local_index → (origin_local_index, origin_field_projections).