org.eclipse.jdt.core.tests.model/workspace/Resolve/src/ResolveAbstractMethod.java

public class ResolveAbstractMethod {
	void test(AbstractClass a){
		a.foo();
	}
}
abstract class AbstractClass implements SuperInterface {
}