[GROOVY-11370] STC: extension method cannot provide map property (read mode)

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 3.0.21, 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: 08/May/24 19:15
• Updated: 23/May/24 21:15
• Resolved: 09/May/24 13:03

Description

Consider the following:

@TypeChecked
void test() {
  def map = [:]
  print map.metaClass
}
test()

The script prints "null" (before Groovy 5) indicating that "getMetaClass()" extension method is not used. However, node metadata indicates that the extension method is used. For example, adding "Number n = map.metaClass" says: "Cannot assign value of type groovy.lang.MetaClass to variable of type java.lang.Number"

GROOVY-5001, GROOVY-5491, GROOVY-5568, GROOVY-9115, GROOVY-9123