[GROOVY-11369] STC: map properties "class" and "empty" indicated as read-only

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

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 06/May/24 15:33
• Updated: 15/May/24 21:33
• Resolved: 07/May/24 15:03

Description

Consider the following:

@TypeChecked test(Map map) {
  print map.empty
  print map.class
  print map.metaClass

  map.empty = null
  map.class = null
  map.metaClass = null

  print map
}
test([:])

When executed (without @TypeChecked) the script prints "null", "null", "null", "[empty: null, class: null, metaClass: null]". So these are all map entry read and writes. However, STC indicates that "class" and "empty" are read-only properties.