[GROOVY-9860] compilation error when passing a closure's genericized parameters to a constructor under static compilation

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 3.0.7
• Fix Version/s: 3.0.8, 4.0.0-alpha-3
• Component/s: Compiler
• Assignee: Eric Milles
• Reporter: Jason Garrett
• Created: 16/Dec/20 20:45
• Updated: 02/May/21 09:16
• Resolved: 24/Dec/20 06:07

Description

The following code:

package example

import groovy.transform.CompileStatic

@CompileStatic
class Tuple2Example {

   static <T> void noLongerCompiles() {
      def closure = { T a, T b ->
         return new Tuple2<T, T>(a, b)
      }
      closure("foo", "bar")
   }
}

Compiles in v3.0.6 and earlier, but in v3.0.7 results in the following compiler error:

[Static type checking] - Cannot find matching method groovy.lang.Tuple2#<init>(T, T). Please check if the declared type is correct and if the method exists. @ line 10, column 11.    return new Tuple2<T, T>(a, b)             ^
1 error

Because this compiles in all versions prior to 3.0.7, I figure it should compile 3.0.7 too.  Even if it really shouldn't compile the message probably ought to be something about the inability to infer the types of a and b, not that the constructor can't be found.