Java language RFE: Allow overriding to resolve return type conflict

I just submitted this overloading-related RFE to the Java Bug  
Database.  Thought others might find it interesting.  In Fortress, the  
three method declarations are valid due to the Meet Rule (15.6.4) and  
the Subtype Rule (which verifies that the return types are safe)  
(15.6.2).

—Dan

Begin forwarded message:

> From: Sun Microsystems <IncidentUpdateDaemon@...>
> Date: June 2, 2008 2:11:15 AM CDT
> To: dlsmith@...
> Subject: Re: (Incident Review ID: 1259860) Allow overriding to  
> resolve return type conflict
>
> --- Note: you can send us updates about your Incident ---
> --- by replying to this mail.  Place new information  ---
> --- above these lines.  Do not include attachments.   ---
> --- Our system ignores attachments and anything below ---
> --- these lines.                                      ---
>
> Hi Dan Smith,
>
> Thank you for taking the time to suggest this enhancement to the  
> Java Standard Edition.
>
> We have determined that this report is an RFE and has been entered  
> into our
> internal RFE tracking system under Bug Id: 6709429