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!
Cheers,
Neal
More information about the compiler-dev
mailing list