scala-ide/scala-ide — comment on commit fd68a35eee56f78f8cd8be4cb95d47f0c1ed510d
File: org.scala-ide.sdt.core/src/scala/tools/eclipse/jcompiler/ScalaMethodVerifierProvider.scala line 134
By dragos:

Is it enough to signal *only* concrete trait members? Also, looking only inside the method owner, you will miss any implementation coming from another class or trait that is inherited by the Java class (just speculating now). For example, an implementation could be mixed in by another trait. It all depends on what the Java 'abstractMethod' binding points to (the concrete or the abstract 'foo').

trait A {
def foo()
}

trait B {
def foo() = 42
}

abstract class Bar extends A with B

// Java
public class JClass extends Bar

Maybe this is a good test to add nevertheless.