6908259: Covariance bug for multiple interface inheritence

[Neal Gafter]

On Tue, Feb 9, 2010 at 7:47 AM, David M. Lloyd <david.lloyd at redhat.com> wrote:
> However, later on in 8.4.8.4:
>
> [-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 8.4.8.4 is specifically about classes.  The test cases of
interest contain interfaces, not classes, and so 8.4.8.4 does not
apply.