Module place 

Place resolution: syn::Expr → ContractPlace.

Semantic resolution of contract places (arguments, locals, field projections, iter()/each_element() element projection, unwrap_some() enum downcast) against rustc’s type context. This layer depends only on types.rs and crate helpers, so both the property builder (builder.rs) and the pest-based expression converter (pest_conv.rs) can share it without a dependency cycle.

Functions

detect_array_for_each 🔒

Check if the given expression refers to a function parameter whose type is an array. If so, return a ContractPlace for that parameter to be used as the for_each container.

parse_contract_place 🔒

parse_expr_into_local_and_ty 🔒

parse_named_place 🔒

resolve_next_field 🔒

resolve_place_from_ident 🔒

Resolve a place given its base identifier and field-name list directly, without going through a syn expression. Used by the pest converter.

resolve_projection_from_base_ident 🔒

resolve_projection_from_struct_ident 🔒

strip_iter_elements 🔒

Strip IterElements from a property arg and return the container place (without the projection) if IterElements was present.