False positive on defaulting an interface/trait implementation

[dwijnand]

Defining the default implementation of an interface/trait implementation in playframework/playframework@ba8b2b6, required excluding the false positive in the subclasses in playframework/playframework@11a502d.

Need to double check with a test that this is indeed a false positive, and then look to fix it.

[dwijnand]

Confirmed. I was running MiMa on scala-library while on JDK 11, where java.util.Enumeration has a defaulted asIterator method, and that was giving a false positive "missing in other version" (forward-compatibility check), which happens because I built scala-library with JDK 11 and (for reasons I'm less sure about) scalac made a invokespecial forwarder to the interface method in Enumeration. That forwarder doesn't exist in the compared-against 2.13.0 classfile. So kind of to do with default methods. Ugh, complicated.