[jira] [Commented] (GROOVY-8609) Fails to compile when upper bound has generics

[ASF GitHub Bot (JIRA)]

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

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

GitHub user danielsun1106 opened a pull request:

    https://github.com/apache/groovy/pull/730

    GROOVY-8609  Fails to compile when upper bound has generics

    

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

    $ git pull https://github.com/danielsun1106/groovy GROOVY-8609

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

    https://github.com/apache/groovy/pull/730.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 #730
    
----
commit e07d69b37c44ce636ca57b1a658304972cb590ce
Author: Daniel Sun <realbluesun@...>
Date:   2018-05-28T04:41:48Z

    GROOVY-8609  Fails to compile when upper bound has generics

----


> Fails to compile when upper bound has generics
> ----------------------------------------------
>
>                 Key: GROOVY-8609
>                 URL: https://issues.apache.org/jira/browse/GROOVY-8609
>             Project: Groovy
>          Issue Type: Bug
>          Components: Static compilation, Static Type Checker
>    Affects Versions: 2.6.0-alpha-3, 3.0.0-alpha-2, 2.5.0
>            Reporter: Daniel Sun
>            Assignee: Daniel Sun
>            Priority: Major
>
> Fails to compile the following code:
> {code:java}
> @groovy.transform.CompileStatic
> public class A<T extends List<E>, E extends Map<String, Integer>> {
>     E getFirstRecord(T recordList) {
>         return recordList.get(0);
>     }
> }
> {code}
> *Error messages:*
> {code:java}
> BUG! exception in phase 'instruction selection' in source unit 
> 'ConsoleScript0' Expected earlier checking to detect generics parameter arity 
> mismatch
> Expected: java.util.Map<K,V> 
> Supplied: java.util.Map<E> 
>       at 
> org.codehaus.groovy.ast.tools.GenericsUtils.extractPlaceholders(GenericsUtils.java:169)
>       at 
> org.codehaus.groovy.ast.tools.GenericsUtils.extractPlaceholders(GenericsUtils.java:142)
>       at 
> org.codehaus.groovy.ast.GenericsType$GenericsTypeMatcher.compareGenericsWithBound(GenericsType.java:375)
>       at 
> org.codehaus.groovy.ast.GenericsType$GenericsTypeMatcher.checkGenerics(GenericsType.java:307)
>       at 
> org.codehaus.groovy.ast.GenericsType$GenericsTypeMatcher.matches(GenericsType.java:276)
>       at 
> org.codehaus.groovy.ast.GenericsType.isCompatibleWith(GenericsType.java:198)
>       at 
> org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor.checkTypeGenerics(StaticTypeCheckingVisitor.java:1174)
>       at 
> org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor.checkReturnType(StaticTypeCheckingVisitor.java:2076)
>       at 
> org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor$1.returnStatementAdded(StaticTypeCheckingVisitor.java:309)
>       at 
> org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor.visitReturnStatement(StaticTypeCheckingVisitor.java:2026)
>       at 
> org.codehaus.groovy.ast.stmt.ReturnStatement.visit(ReturnStatement.java:49)
> {code}



--
This message was sent by Atlassian JIRA
(v7.6.3#76005)