[jboss-jira] [JBoss JIRA] Commented: (JASSIST-127) interface proxy creation fails if there are methods with covariant return types

[Shigeru Chiba (JIRA)]

    [ https://issues.jboss.org/browse/JASSIST-127?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12623390#comment-12623390 ] 

Shigeru Chiba commented on JASSIST-127:
---------------------------------------

Thanks.  Yes, it's too small but some industrial users want to
make sure that this kind of legal issue is clear.

> interface proxy creation fails if there are methods with covariant return types
> -------------------------------------------------------------------------------
>
>                 Key: JASSIST-127
>                 URL: https://issues.jboss.org/browse/JASSIST-127
>             Project: Javassist
>          Issue Type: Bug
>    Affects Versions: 3.12.0.GA
>         Environment: Java 1.6.
>            Reporter: Paul Pogonyshev
>            Assignee: Shigeru Chiba
>              Labels: patch
>             Fix For: 3.16.0-GA
>
>         Attachments: jassist-127-fix.diff
>
>
> Creation of proxy class for interface Bar fails:
>     public interface Foo
>     {
>         Foo getSelf ();
>     }
>     public interface Bar extends Foo
>     {
>         Bar getSelf ();
>     }
> This is because of covariant return types of method getSelf().  However, as this is permitted by the language (i.e. subtype can restrict the return type further), I consider this a bug.

--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira