[jira] [Created] (GROOVY-7753) 2.4.6-SNAPSHOT regression of return type from ?: operator

["Jason Winnebeck (JIRA)" <ji...@apache.org>]

Jason Winnebeck created GROOVY-7753:
---------------------------------------

             Summary: 2.4.6-SNAPSHOT regression of return type from ?: operator
                 Key: GROOVY-7753
                 URL: https://issues.apache.org/jira/browse/GROOVY-7753
             Project: Groovy
          Issue Type: Bug
    Affects Versions: 2.4.6
            Reporter: Jason Winnebeck


In Groovy 2.4.5 the following code works, but in Groovy 2.4.6, it fails to compile:

{code}
@groovy.transform.Field
String x = "X"

@groovy.transform.CompileStatic
public List<String> getStrings() {
	x ? [x] : Collections.emptyList()
}

getStrings()
{code}

In Groovy 2.4.6 the compile error is:
{code}
[Static type checking] - Incompatible generic argument types. Cannot assign java.util.List <? extends java.lang.Object> to: java.util.List <String>
 @ line 6, column 2.
    x ? [x] : Collections.emptyList()
    ^
{code}

Workaround is to cast the result of emptyList to the erased type, (List) in this case.



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