[GROOVY-11387] STC: entry vs field for map-based types

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

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 28/May/24 15:18
• Updated: 12/Nov/24 11:42
• Resolved: 28/May/24 16:44

Description

Consider the following:

@groovy.transform.TypeChecked
void test() {
  def map = new HashMap()
  def xxx = map.table
  def yyy = map.with{
    def z = table
  }
  print xxx
  print yyy
}
test()

The script should output "nullnull" – which it does without STC – and the inferred types of "xxx", "yyy" and "z" should be String. However, the script throws IllegalAccessError for the "z" line and the inferred type of the variables is "Node<String,String>[]".

GROOVY-11367