[ 
https://issues.apache.org/jira/browse/GROOVY-6787?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
 ]

Pascal Schumacher resolved GROOVY-6787.
---------------------------------------
       Resolution: Fixed
         Assignee: Pascal Schumacher
    Fix Version/s: 2.4.6

Pull request merged. Thanks!

> type checker does not check generics bounds of wildcards properly
> -----------------------------------------------------------------
>
>                 Key: GROOVY-6787
>                 URL: https://issues.apache.org/jira/browse/GROOVY-6787
>             Project: Groovy
>          Issue Type: Bug
>          Components: Static Type Checker
>    Affects Versions: 2.2.2, 2.3.0, 2.4.0-rc-1
>            Reporter: Jochen Theodorou
>            Assignee: Pascal Schumacher
>             Fix For: 2.4.6
>
>
> {code:Java}
> public <T extends List<CharSequence>> void bar(T a){}
> bar([new Object()])
> {code}
> This should not compile because Object is no CharSequence, but it does, 
> because the type checker will simply ignore the bound and set T to 
> LinkedList<Object>



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

Reply via email to