Eric Milles created GROOVY-10179:
------------------------------------
Summary: STC: instanceof Map and for-in loop type
Key: GROOVY-10179
URL: https://issues.apache.org/jira/browse/GROOVY-10179
Project: Groovy
Issue Type: Bug
Affects Versions: 4.0.0-alpha-3, 3.0.8, 2.5.14
Reporter: Eric Milles
Assignee: Eric Milles
Variation of GROOVY-6240. Consider the following:
{code:groovy}
@groovy.transform.TypeChecked
void test(args) {
if (args instanceof Map) {
for (e in args) {
print "$e.key $e.value" // STC errors: No such property "key/value" for
Object
}
}
}
test(a:1,b:2,c:3.14)
{code}
When the extra layer of the instanceof check is added, STC does not use Map
type when inferring type of for-in variable "e".
--
This message was sent by Atlassian Jira
(v8.3.4#803005)
