6908259: Covariance bug for multiple interface inheritence

Neal Gafter neal at gafter.com
Tue Feb 9 08:11:07 PST 2010

On Tue, Feb 9, 2010 at 8:10 AM, Maurizio Cimadamore
<Maurizio.Cimadamore at sun.com> wrote:
> 9.4.1:
> "It is possible for an interface to inherit several methods with
> override-equivalent signatures (§8.4.2)
> <http://java.sun.com/docs/books/jls/third_edition/html/classes.html#38649>.
> Such a situation does not in itself cause a compile-time error. The
> interface is considered to inherit all the methods. However, one of the
> inherited methods must must be return type substitutable for any other
> inherited method; otherwise, a compile-time error occurs (The |throws|
> clauses do not cause errors in this case.)"
> Which, I think, imply that T6294779c  must be rejected

Yes, that was what I was looking for.  Thanks!


More information about the compiler-dev mailing list