Function method_writes_self_field 

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