@Contract(pure = true)
  @NotNull AnnotationBuilder highlightType(@NotNull ProblemHighlightType highlightType);
@Contract(pure = true)
  @NotNull AnnotationBuilder highlightType(@NotNull ProblemHighlightType highlightType)