void (@NotNull GrSwitchStatement switchStatement) { super.visitSwitchStatement(switchStatement); final GrCaseSection[] caseSections = switchStatement.getCaseSections(); for (GrCaseSection caseSection : caseSections) { if (caseSection.isDefault()) { return; } } registerError(switchStatement.getFirstChild()); }