Details
-
Bug
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
2.5.14, 3.0.8, 4.0.0-alpha-3
-
None
Description
Variation of GROOVY-6240. Consider the following:
@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)
When the extra layer of the instanceof check is added, STC does not use Map type when inferring type of for-in variable "e".