[GROOVY-11089] STC: closure param type inference for array and list

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 4.0.12
• Fix Version/s: 3.0.18, 4.0.13
• Component/s: Static Type Checker

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 08/Jun/23 21:10
• Updated: 06/Oct/23 16:12
• Resolved: 09/Jun/23 18:12

Description

Consider the following:

@groovy.transform.TypeChecked
void test() {
  (new String[]{'a','b'}).with { a, b -> } // throws MissingMethodException
  ['a','b'].with { a, b -> } // param count error
}
test()

1. STC thinks it can spread array elements across closure parameters, but this does not work.
2. STC thinks it cannot spread list elements across closure parameters, which does work (if length check is lifted).

Issue Links

• is related to: GROOVY-6939 Calling "each" on an untyped model variable with two arguments causes doCall error
• is related to: GROOVY-8499 Glitch with native lambda support when supplied with incorrect arity lambda
• is related to: GROOVY-11076 @ClosureParams for StringGroovyMethods.replaceFirst and StringGroovyMethods.replaceAll wrong
• relates to: GROOVY-11135 Unable to compile: Expected type java.lang.Object for closure parameter
• relates to: GROOVY-11188 CompileStatic broken for transpose lists in 4.0.14 but works in 4.0.13
• relates to: GROOVY-11124 iterating Tuple2s loses type parameters
• relates to: GROOVY-11125 withIndex().collect loses type parameters
• relates to: GROOVY-11185 each after transpose with 2 arguments does not compile
• relates to: GROOVY-11090 STC: closure param type inference for tuple
• relates to: GROOVY-11092 STC: support coerced closure argument destructuring (for list and tuple)