@Contract(pure = true)
  default @NotNull AnnotationBuilder newSilentAnnotation(@NotNull HighlightSeverity severity) {
    throw new IllegalStateException("Please do not override AnnotationHolder, use the standard provided one instead");
  }
@Contract(pure = true)
  default @NotNull AnnotationBuilder newSilentAnnotation(@NotNull HighlightSeverity severity)