tests/org.eclipse.wst.jsdt.core.tests.model/workspace/Resolve/src/ResolveMethodDeclarationInInterface.js

public class ResolveMethodDeclarationInInterface {
	public static void main(String[] args) {
		QY y = new QY();
		((QX)y).foo();
	}
}