let shift_epath loc ch = match ch with
  | Pfield f -> shift_field loc f
  | Pidx i -> shift_index loc i