SI-7825 Consider DEFAULTMETHOD when refchecking concreteness

A class should not be required to implement a Java default method.

This commit uses `isDeferredNotDefault` in place of `isDeferred`
when finding unimplemented methods.

The test itself does not depend on Java 8 as we use scalac's
Java source parser to set things up.

1 files changed, 24 insertions, 0 deletions

diff --git a/bincompat-forward.whitelist.conf b/bincompat-forward.whitelist.conf
index a64eb0ba5d..2ece671638 100644
--- a/bincompat-forward.whitelist.conf
+++ b/bincompat-forward.whitelist.conf
@@ -1407,6 +1407,30 @@ filter {
         {
             matchName="scala.reflect.internal.Types.scala$reflect$internal$Types$$uniques_="
             problemName=MissingMethodProblem
+        },
+        {
+            matchName="scala.reflect.internal.Symbols#Symbol.isDeferredOrDefault"
+            problemName=MissingMethodProblem
+        },
+        {
+            matchName="scala.reflect.internal.Symbols#Symbol.isDeferredNotDefault"
+            problemName=MissingMethodProblem
+        },
+        {
+            matchName="scala.reflect.internal.HasFlags.isDeferredOrDefault"
+            problemName=MissingMethodProblem
+        },
+        {
+            matchName="scala.reflect.internal.HasFlags.isDeferredNotDefault"
+            problemName=MissingMethodProblem
+        },
+        {
+            matchName="scala.reflect.internal.Trees#Modifiers.isDeferredOrDefault"
+            problemName=MissingMethodProblem
+        },
+        {
+            matchName="scala.reflect.internal.Trees#Modifiers.isDeferredNotDefault"
+            problemName=MissingMethodProblem
         }
     ]
 }