@Override
    public @NotNull Range shiftRight(int delta) {
      if (delta == 0) return this;
      return new Range(getStartOffset() + delta, getEndOffset() + delta, getErrorCount());
    }
@Override
    public @NotNull Range shiftRight(int delta)