@Override
  public void visitInstanceOfExpression(@NotNull PsiInstanceOfExpression expression) {
    super.visitInstanceOfExpression(expression);
    if (!hasErrorResults()) HighlightUtil.checkInstanceOfApplicable(expression, myErrorSink);
    if (!hasErrorResults()) add(GenericsHighlightUtil.checkInstanceOfGenericType(myLanguageLevel, expression));
    if (!hasErrorResults() &&
        JavaFeature.PATTERNS.isSufficient(myLanguageLevel) &&
        // 5.20.2 Removed restriction on pattern instanceof for unconditional patterns (JEP 432, 440)
        !JavaFeature.PATTERN_GUARDS_AND_RECORD_PATTERNS.isSufficient(myLanguageLevel)) {
      add(HighlightUtil.checkInstanceOfPatternSupertype(expression));
    }
  }
@Override
  public void visitInstanceOfExpression(@NotNull PsiInstanceOfExpression expression)