[GROOVY-11090] STC: closure param type inference for tuple

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.14, 3.0.19

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 09/Jun/23 19:29
• Updated: 23/Aug/23 09:06
• Resolved: 10/Jun/23 17:34

Description

Consider the following:

@groovy.transform.TypeChecked
void test() {
  def list_of_tuple2 = ['a','b'].withIndex()
  print list_of_tuple2.collect{ s,i -> s+i }
}
test()

STC rejects this script, saying "Incorrect number of parameters. Expected 1 but found 2" or if "s,i" is "String s, int i" a type error.

However it runs successfully without STC, printing "[a0, b1]"

Issue Links

• is related to: GROOVY-11089 STC: closure param type inference for array and list
• relates to: GROOVY-11135 Unable to compile: Expected type java.lang.Object for closure parameter
• relates to: GROOVY-11124 iterating Tuple2s loses type parameters
• relates to: GROOVY-11125 withIndex().collect loses type parameters
• relates to: GROOVY-11092 STC: support coerced closure argument destructuring (for list and tuple)