pub fn get_mutated_fields(tcx: TyCtxt<'_>, def_id: DefId) -> Vec<usize>Expand description
Return field indices that a &mut self method writes to.
Scans the MIR body for assignments to (*self).field_n and returns the
set of field indices that are modified. Used by invless mode to know which
constructor-inherited invariants are invalidated by a mutator.