extend check for enclosing instance for java 8 default methods in interfaces (IDEA-140492)

java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/HighlightUtil.java

@@ -1522,6 +1522,12 @@ public class HighlightUtil extends HighlightUtilBase {
               .descriptionAndTooltip(JavaErrorMessages.message("bad.qualifier.in.super.method.reference", format(aClass), formatClass(superClass))).create();
           }
         }
+
+        if (expr instanceof PsiSuperExpression && !classT.isInheritor(aClass, false)) {
+          return HighlightInfo.newHighlightInfo(HighlightInfoType.ERROR)
+            .range(qualifier)
+            .descriptionAndTooltip(JavaErrorMessages.message("no.enclosing.instance.in.scope", format(aClass))).create();
+        }
       }
     }
 

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/newMethodRef/TypeNameInterfaceSuperMethodReferenceApplicability.java

@@ -38,5 +38,12 @@ class Test {
       }
     };
   }
+
+  interface D extends J {
+    default void m() {
+      <error descr="No enclosing instance of type 'Test.D' is in scope">D</error>.super.toString();
+      J.super.toString();
+    }
+  }
 }