[GROOVY-6707] Groovy 2.3.0-beta-2 generic type checking incorrect

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.3.0-beta-2
• Fix Version/s: 2.3.1
• Assignee: Jochen Theodorou
• Reporter: Mark Perry
• Created: 14/Apr/14 19:42
• Updated: 20/May/14 05:31
• Resolved: 09/May/14 10:20

Description

Type checking a returned value from a generic method does not type check in Groovy 2.3.0-beta-2, but does in Groovy 2.2.2. See the following gist:

https://gist.github.com/mperry/10692600

The output I get is:

D:\repositories\groovy-2.3-experimental\docs\scripts>groovy setTypeChecking.groovy
org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
D:\repositories\groovy-2.3-experimental\docs\scripts\setTypeChecking.groovy: 31:
[Static type checking] - Cannot call <T> java.util.Set <java.util.List>#equals(java.util.Set <T>) with arguments [java.util.Set <java.util.List>]
@ line 31, column 20.
assertTrue(s == expected)
^

D:\repositories\groovy-2.3-experimental\docs\scripts\setTypeChecking.groovy: 32:
[Static type checking] - Cannot call <T> java.util.Set <java.util.List>#equals(java.util.Set <T>) with arguments [java.util.Set <java.util.List>]
@ line 32, column 20.
assertTrue(create([1, 2]) == expected)
^

2 errors

I am using Windows 7.

Note that the other lines type check pass that appear to have similar types involved.