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

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.3
• Fix Version/s: 2.4.8
• Component/s: groovy-jdk
• Environment: Windows, Java 8.
• Assignee: Paul King
• Reporter: Darren Hurt
• Created: 03/Mar/16 11:29
• Updated: 01/Feb/17 23:19
• Resolved: 01/Aug/16 23:16

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).

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)
}

Issue Links

• links to: GitHub Pull Request #376