[GROOVY-11394] STC: zero-parameter closure call with args

• 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: 01/Jun/24 16:08
• Updated: 06/Jun/24 15:48
• Resolved: 01/Jun/24 16:54

Description

Consider the following:

@groovy.transform.TypeChecked
void test() {
  def c = { -> }
  c("")
}
test()

This should be flagged as an error.

GROOVY-10072