[news.eclipse.tools.jdt] Re: Multiple inheritance and covariance subtypi

[Markus Keller <markus_keller@xxxxxxxxxx>]

This is a bug in the eclipse compiler, I filed 
https://bugs.eclipse.org/bugs/show_bug.cgi?id=122617

Markus

Aurélien MOREAU wrote:

> Hello,
>
> IC.java:
>
> interface IA {
>     IA op();
> }
>
> interface IB {
>     IB op();
> }
>
> public interface IC extends IA, IB {
>     IC op();
> }
>
>
> These classes compile with eclipse and compiler compliance level 5.0 but 
> don't compile with my sun jdk 1.5.0:
>
>  > javac -version IC.java
> javac 1.5.0
> IC.java:9: types IB and IA are incompatible; both define op(), but with 
> unrelated return types
> public interface IC extends IA, IB {
>        ^
> 1error
>
>
> Where could I find the jdt core specification about this feature ?
>
> Thank you