[GROOVY-10636] STC: closure array or varargs parameter not properly type-checked

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: 5.0.0-alpha-1
• Component/s: Static Type Checker
• Labels: varargs
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 25/May/22 16:44
• Updated: 23/Aug/23 09:11
• Resolved: 25/May/22 19:07

Description

Consider the following:

def m(Closure<Number>... closures) {
  closures*.call().sum()
}
@groovy.transform.TypeChecked
void test() {
  print m({->1},{->'2'})
}

No error is given for the improper String return type.

Issue Links

• is related to: GROOVY-8045 Implicit closure coercion doesn't work for elements of array of functional objects
• is related to: GROOVY-6022 Static type checker should not register errors for ellipsis closure parameter annotated with @DelegatesTo