@Override
  public @NotNull AnnotationBuilder highlightType(@NotNull ProblemHighlightType highlightType) {
    assertNotSet(this.highlightType, "highlightType");
    this.highlightType = highlightType;
    return this;
  }
@Override
  public @NotNull AnnotationBuilder highlightType(@NotNull ProblemHighlightType highlightType)