@Deprecated
  public static @Nullable HighlightInfo checkBadCharacter(@NotNull PsiElement element) {
    HighlightInfo.Builder builder = checkUnicodeBadCharacter(element);
    return builder == null ? null : builder.create();
  }
@Deprecated
  public static @Nullable HighlightInfo checkBadCharacter(@NotNull PsiElement element)