[GROOVY-11400] STC: closure parameter metadata after re-assignment of variable

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

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 06/Jun/24 16:13
• Updated: 06/Jun/24 17:24
• Resolved: 06/Jun/24 17:24

Description

Consider the following:

@groovy.transform.TypeChecked
void test() {
  def c = { p = 'foo' -> return p }
  assert c('bar') == 'bar'
  assert c() == 'foo'

  c = { p, q = 'baz' -> '' + p + q }
  assert c('foo', 'bar') == 'foobar'
  assert c('foo') == 'foobaz'

  c = { p, q = p.toString() -> '' + p + q }
  assert c('foo', 'bar') == 'foobar'
  assert c('foo') == 'foofoo'
}
test()

When "c" is assigned a new closure, the parameter metadata is not updated on the original variable. This results in errors for "c('foo','bar')" calls, which are not compatible with the original closure signature.

GROOVY-10072, GROOVY-11394