fn property_field_indices(property: &Property<'_>) -> Vec<usize>Expand description
Collect struct field indices referenced by a property’s contract places.
Used to determine which invariants are invalidated when a mutator writes to specific struct fields.