[GROOVY-11401] STC: inferred type of name within closure (delegate property versus owner field)

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 3.0.21, 5.0.0-alpha-8, 4.0.21
• Fix Version/s: 3.0.22, 5.0.0-alpha-9, 4.0.22
• Component/s: Static Type Checker
• Labels: breaking

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 10/Jun/24 18:32
• Updated: 11/Jun/24 19:52
• Resolved: 10/Jun/24 19:41

Description

Consider the following:

class C {
  private Object obj = 'field'
  @groovy.transform.TypeChecked
  void test() {
    Map<String,String> map = [:].withDefault{ 'entry' }
    map.with {
      def x = obj
      print x
    }
  }
}
new C().test()

This script prints "entry" but the inferred type of "x" is Object not String.

GROOVY-11367