@Override
  public void visitDefaultCaseLabelElement(@NotNull PsiDefaultCaseLabelElement element) {
    super.visitDefaultCaseLabelElement(element);
    // "case default:" will be highlighted as "The label for the default case must only use the 'default' keyword, without 'case'".
    // see SwitchBlockHighlightingModel#checkSwitchLabelValues
    // The "case default:" syntax was only allowed in outdated preview versions of Java (from Java 17 Preview to Java 19 Preview).
    // And even if the "case default" syntax was allowed not only in outdated preview versions of Java, using "case default:"
    // instead of "default:" looks weird. Therefore, for this case, we do not check the feature availability and do not
    // suggest increasing the language level.
  }
@Override
  public void visitDefaultCaseLabelElement(@NotNull PsiDefaultCaseLabelElement element)