Function method_writes_self_field 

fn method_writes_self_field(
    tcx: TyCtxt<'_>,
    method: DefId,
    self_local: Local,
    field_index: usize,
) -> bool

Whether method writes through the raw field field_index of the struct borrowed via self_local (_1 for a method, any parameter for a free fn).