Description Steven Coco 2005-10-29 16:52:09 EDT

Hello.


I recently had inadvertently made reference to a static nested type through a
subinterface inheriting this type.  While this is not illegal, it was a mis-type
on my part.  It turns out the compiler -- at least the one that is drawing the
error annotations in the editor -- thinks this is an error.  But it actually
only happens with a particular typing hierarchy.  I have constructed the seeming
minimal example:

interface A {

    A.I i();

    interface I { }

}

interface B<T> extends A { }

interface C extends B<Object> {

    C.I i();

    interface I extends B.I { }

}

The compiler complains that C.i() is incompatible with A.i().  [This is the bug.]

But, if you modify the above so that B is not generic -- and C invokes no
parameters on B -- then the compiler does not complain.


Thanks!
Steev Coco.