@Override
  public void visitSwitchLabelStatement(@NotNull PsiSwitchLabelStatement statement) {
    super.visitSwitchLabelStatement(statement);
    if (!hasErrorResults()) add(HighlightUtil.checkCaseStatement(statement));
    if (!hasErrorResults()) add(SwitchBlockHighlightingModel.checkGuard(statement, myLanguageLevel, myFile));
  }
@Override
  public void visitSwitchLabelStatement(@NotNull PsiSwitchLabelStatement statement)