@Nullable
  static HighlightInfo.Builder checkFeature(@NotNull PsiElement element,
                                           @NotNull JavaFeature feature,
                                           @NotNull LanguageLevel level,
                                           @NotNull PsiFile file) {
    return checkFeature(element, feature, level, file, null, HighlightInfoType.ERROR);
  }
@Nullable
  static HighlightInfo.Builder checkFeature(@NotNull PsiElement element,
                                           @NotNull JavaFeature feature,
                                           @NotNull LanguageLevel level,
                                           @NotNull PsiFile file)