Description Peter Arrenbrecht 2008-12-12 09:25:22 EST

Build ID: M20080911-1700

Steps To Reproduce:
1.Paste the tree interfaces below.
2.See how Eclipse compiles them OK.
3.Check with javac from Sun's JDK. It returns

$ javac -d ../temp/classes ch/arrenbrecht/eclipsequirks/covariant/*.java
ch/arrenbrecht/eclipsequirks/covariant/IBoth.java:3: types ch.arrenbrecht.eclipsequirks.covariant.ITwo and ch.arrenbrecht.eclipsequirks.covariant.IOne are incompatible; both define foo(), but with unrelated return types
public interface IBoth extends IOne, ITwo
       ^
1 error

$ javac -version
javac 1.6.0_0-internal

More information:
---
package ch.arrenbrecht.eclipsequirks.covariant;

public interface IOne
{
	IOne foo();
}
---
package ch.arrenbrecht.eclipsequirks.covariant;

public interface ITwo
{
	ITwo foo();
}
---
package ch.arrenbrecht.eclipsequirks.covariant;

public interface IBoth extends IOne, ITwo
{
	IBoth foo();
}
---