[GROOVY-11124] iterating Tuple2s loses type parameters

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Duplicate
• Affects Version/s: 4.0.13
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Jason Garrett
• Created: 13/Jul/23 13:10
• Updated: 24/Jul/23 12:33
• Resolved: 13/Jul/23 16:45

Description

With static compilation, when iterating a collection of Tuple2s, the Tuple2's type parameters are lost.

This example fails to compile:

import groovy.transform.CompileStatic

@CompileStatic  // compiles successfully without this
class Tuple2Parameters {
    List<Tuple2<String, String>> myList = []

    void myMethod() {
       myList.each { String first, String second ->  // [Static type checking] - Expected type java.lang.Object for closure parameters
          true
       }
    }
} 

Issue Links

• 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-11135 Unable to compile: Expected type java.lang.Object for closure parameter
• relates to: GROOVY-11125 withIndex().collect loses type parameters