Description Olivier Thomann 2011-05-12 12:56:10 EDT

This code used to compile using Eclipse or javac 1.6, but it now fails with javac 1.7:

class A<T> {}

interface I {
	void foo(A<String> a);
}

interface J extends I {
	void foo(A<Integer> a);
}

The Eclipse compiler would report name clash errors as soon as the interface J is implemented by a class as there is no way to implement both foo methods.

Looking at 9.4.1 in the JLS, this seems to be a bug. So we might want to fix it for all compliances.