[jira] [Created] (GROOVY-10235) STC: Generic type of Set not correctly resolved when calling ConcurrentHashMap.newKeySet()

["Lyuben Atanasov (Jira)" <ji...@apache.org>]

Lyuben Atanasov created GROOVY-10235:
----------------------------------------

             Summary: STC: Generic type of Set not correctly resolved when calling ConcurrentHashMap.newKeySet()
                 Key: GROOVY-10235
                 URL: https://issues.apache.org/jira/browse/GROOVY-10235
             Project: Groovy
          Issue Type: Bug
          Components: Static Type Checker
    Affects Versions: 4.0.0-beta-1
         Environment: OpenJDK 8
            Reporter: Lyuben Atanasov


The following code fails to compile when STC is enabled:
{code}
import java.util.concurrent.ConcurrentHashMap;

class Test {

    public void test() {
        Set<Integer> integers = ConcurrentHashMap.newKeySet();
        integers.add(1);
        integers.add(2);
        printSet(integers);
    }

    private void printSet(Set<Integer> integers) {
        println "$integers";
    }
}
{code}
The error reported by the compiler is:
{noformat}
Exception in thread "main" org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
Script_a26d7b8defa71ea9b230673f8bc53d80.groovy: 9: [Static type checking] - Cannot call Test#printSet(java.util.Set<java.lang.Integer>) with arguments [java.util.concurrent.ConcurrentHashMap$KeySetView<java.lang.Object, java.lang.Object>]
 @ line 9, column 9.
           printSet(integers);
           ^
{noformat}
This issue is new to 4.0.0-beta-1, it has not been observed before that. It looks like the variable definition is treated as if it was {{def integers}} so the generic type of the Set is not correctly resolved.



--
This message was sent by Atlassian Jira
(v8.3.4#803005)