[jira] [Commented] (GROOVY-7598) type checking with generics

["ASF GitHub Bot (JIRA)" <ji...@apache.org>]

    [ https://issues.apache.org/jira/browse/GROOVY-7598?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=14945331#comment-14945331 ] 

ASF GitHub Bot commented on GROOVY-7598:
----------------------------------------

GitHub user shils opened a pull request:

    https://github.com/apache/incubator-groovy/pull/133

    GROOVY-7598 Generic types are not checked for return statements (STC)

    Though this is something I had assumed was already in place, it could be a breaking change given that I had to slightly modify a unit test.

You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/shils/incubator-groovy GROOVY-7598

Alternatively you can review and apply these changes as the patch at:

    https://github.com/apache/incubator-groovy/pull/133.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #133
    
----
commit 64f7c59b8b2b45cd855831502b858850638049ea
Author: Shil S <sh...@gmail.com>
Date:   2015-10-06T16:31:32Z

    GROOVY-7598 Generic types are not checked for return statements (STC)

----


> type checking with generics
> ---------------------------
>
>                 Key: GROOVY-7598
>                 URL: https://issues.apache.org/jira/browse/GROOVY-7598
>             Project: Groovy
>          Issue Type: Bug
>          Components: Static Type Checker
>    Affects Versions: 2.4.4
>            Reporter: JAMIE ECHLIN
>            Assignee: Cédric Champeau
>
> The following compiles without error... I don't think it should:
> {code}
> import groovy.transform.TypeChecked
> @TypeChecked
> class C extends Script {
>     @Override
>     List<String> run() {
>         [11, 12]
>     }
> }
> {code}
> What I would expect to see is:
> Cannot return ArrayList<Integer> from method returning List<String>



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)