[GROOVY-10180] STC: instanceof and DGM each(Map,Closure)

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 4.0.0-alpha-3, 3.0.10, 2.5.17, 3.0.12
• Fix Version/s: 4.0.0-beta-1, 2.5.19, 3.0.13
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 23/Jul/21 18:56
• Updated: 26/Aug/22 14:59
• Resolved: 23/Jul/21 22:44

Description

Similar to GROOVY-10179, STC is not inferring the type of map entry through instanceof. Consider the following:

@groovy.transform.TypeChecked
void test(args) {
  if (args instanceof Map) {
    args.each { e ->
      println "$e.key $e.value"
    }
  }
}
test(a:1,b:2,c:3.14)

Issue Links

• causes: GROOVY-10668 Reference to method is ambiguous if block in "if" with "instanceof"