@Override
    public void visitSwitchStatement(@NotNull PsiSwitchStatement statement) {
      Object[] infos = processSwitch(statement);
      if (infos == null) return;
      registerStatementError(statement, infos);
    }
@Override
    public void visitSwitchStatement(@NotNull PsiSwitchStatement statement)