@ApiStatus.Internal
  @NotNull
  private static HighlightInfoType convertType(@NotNull Annotation annotation) {
    ProblemHighlightType type = annotation.getHighlightType();
    HighlightSeverity severity = annotation.getSeverity();
    return toHighlightInfoType(type, severity);
  }
@ApiStatus.Internal
  @NotNull
  private static HighlightInfoType convertType(@NotNull Annotation annotation)