[GROOVY-11380] STC: property reference to generated method not recognized

• Type: Bug
• Status: Resolved
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: 5.0.0-alpha-9
• Component/s: Static Type Checker

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 18/May/24 14:39
• Updated: 19/May/24 14:44
• Resolved: 19/May/24 14:44

Description

Consider the following:

class Foo {
  def getBar(bar = 'bar') { bar }
}
@CompileStatic
void test(Foo foo) {
  print foo.bar
}
test(new Foo())

Type checker says: "No such property: bar for class: Foo". Methods added by Verifier, like ones for default arguments, are not checked by property resolution.