6908259: Covariance bug for multiple interface inheritence

Neal Gafter neal at gafter.com
Tue Feb 9 07:59:23 PST 2010

On Tue, Feb 9, 2010 at 7:47 AM, David M. Lloyd <david.lloyd at redhat.com> wrote:
> However, later on in
> [-cut-]
>    * If all the inherited methods are abstract, then the class is
> necessarily an abstract class and is considered to inherit all the abstract
> methods. A compile-time error occurs if, for any two such inherited methods,
> one of the methods is not return type substitutable for the other (The
> throws clauses do not cause errors in this case.)

Section is specifically about classes.  The test cases of
interest contain interfaces, not classes, and so does not

More information about the compiler-dev mailing list