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

Eric Milles updated GROOVY-11028:
---------------------------------
    Fix Version/s: 3.0.20

> STC: empty map (or list) literal does not type check like emptyMap()
> --------------------------------------------------------------------
>
>                 Key: GROOVY-11028
>                 URL: https://issues.apache.org/jira/browse/GROOVY-11028
>             Project: Groovy
>          Issue Type: Bug
>          Components: Static Type Checker
>            Reporter: Eric Milles
>            Assignee: Eric Milles
>            Priority: Major
>             Fix For: 4.0.12, 3.0.20
>
>
> Consider the following:
> {code:groovy}
> @groovy.transform.TypeChecked
> void test() {
>   List<Integer> list = [].withDefault { 0 }
>     // Cannot assign ListWithDefault<? extends Object> to List<Integer>
>   Map<String,Integer> map = [:].withDefault { 1 }
>     // Cannot assign Map<Object, ? extends Object> to Map<String, Integer>
> }
> {code}



--
This message was sent by Atlassian Jira
(v8.20.10#820010)

Reply via email to