[GROOVY-11092] STC: support coerced closure argument destructuring (for list and tuple)

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 5.0.0-alpha-1
• Component/s: Static Type Checker

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 11/Jun/23 14:29
• Updated: 06/Oct/23 16:10
• Resolved: 13/Jun/23 14:22

Description

Consider the following:

import java.util.function.Consumer
import static groovy.lang.Tuple.tuple
@groovy.transform.TypeChecked test() {
  Consumer<Tuple3<String,Number,?>> c = { x, y, z -> print y }
  c.accept(tuple("",(Number)42,null))
}
test()

STC error: "Wrong number of parameters for method target accept(groovy.lang.Tuple3<java.lang.String, java.lang.Number, ?>)"

This kind of list/tuple destructuring is supported by the dynamic runtime (see ClosureMetaClass).

Issue Links

• is related to: GROOVY-8499 Glitch with native lambda support when supplied with incorrect arity lambda
• is related to: GROOVY-11089 STC: closure param type inference for array and list
• is related to: GROOVY-11090 STC: closure param type inference for tuple
• relates to: GROOVY-11188 CompileStatic broken for transpose lists in 4.0.14 but works in 4.0.13
• relates to: GROOVY-11185 each after transpose with 2 arguments does not compile