[jira] [Updated] (GROOVY-7774) Collection addAll fails CompileStatic type checking when adding a collection of subtypes

["Paul King (JIRA)" <ji...@apache.org>]

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

Paul King updated GROOVY-7774:
------------------------------
    Description: 
Suppose X is an interface and Y an interface such that Y extends X
The following code throws a compilation error (the outer class is annotated as @CompileStatic).
{code}
Set<X> set = new HashSet<X>()
Set<Y> toAdd = ......
set.addAll(toAdd)
{code}

However, the following works, which to me is inconsistent:

{code}
Set<X> set = new HashSet<X>()
Set<Y> toAdd = ......
for(Y y in toAdd) {
  set.add(y)
}
{code}




  was:
Suppose X is an interface and Y an interface such that Y extends X
The following code throws a compilation error (the outer class is annotated as @CompileStatic).

Set<X> set = new HashSet<X>()
Set<Y> toAdd = ......
set.addAll(toAdd)

However, the following works, which to me is inconsistent:

Set<X> set = new HashSet<X>()
Set<Y> toAdd = ......
for(Y y in toAdd)
{
set.add(y)
}





> Collection addAll fails CompileStatic type checking when adding a collection of subtypes
> ----------------------------------------------------------------------------------------
>
>                 Key: GROOVY-7774
>                 URL: https://issues.apache.org/jira/browse/GROOVY-7774
>             Project: Groovy
>          Issue Type: Bug
>          Components: groovy-jdk
>    Affects Versions: 2.4.3
>         Environment: Windows, Java 8.
>            Reporter: Darren Hurt
>
> Suppose X is an interface and Y an interface such that Y extends X
> The following code throws a compilation error (the outer class is annotated as @CompileStatic).
> {code}
> Set<X> set = new HashSet<X>()
> Set<Y> toAdd = ......
> set.addAll(toAdd)
> {code}
> However, the following works, which to me is inconsistent:
> {code}
> Set<X> set = new HashSet<X>()
> Set<Y> toAdd = ......
> for(Y y in toAdd) {
>   set.add(y)
> }
> {code}



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