@Override
  public @NotNull HighlightInfo.Builder navigationShift(int navigationShift) {
    assertNotCreated();
    this.navigationShift = navigationShift;
    return this;
  }
@Override
  public @NotNull HighlightInfo.Builder navigationShift(int navigationShift)