[GROOVY-10179] STC: instanceof and for-in variable type

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 2.5.14, 3.0.8, 4.0.0-alpha-3
• Fix Version/s: 4.0.0-beta-1, 3.0.9, 2.5.16
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 23/Jul/21 18:22
• Updated: 03/Feb/22 22:34
• Resolved: 23/Jul/21 19:35

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