[GROOVY-10525] Regression in 2.5.16: Class<?>[] cannot be assigned to Class<?>...

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.5.16
• Fix Version/s: 2.5.17
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Mauro Molinari
• Created: 08/Mar/22 10:36
• Updated: 24/Jul/22 15:05
• Resolved: 10/Mar/22 22:07

Description

Consider this example, where Validator comes from javax.validation:validation-api:1.1.0.Final:

package test

import javax.validation.Validator

import groovy.transform.CompileStatic

@CompileStatic
class TestValidator {
	
	Validator validator
	
	 void foo(Object bean, List<Class<?>> groups) {
		 validator.validate(validator, groups as Class<?>[])
	 }
}

The compilation of this class fails in 2.5.16 (but succeeds in 2.5.15-) with the following error:

/home/mauro/workspace/TestGroovyGradle2/src/main/groovy/test/TestValidator.groovy: 13: [Static type checking] - Cannot call <T> javax.validation.Validator#validate(T, java.lang.Class <java.lang.Object extends java.lang.Object>[]) with arguments [javax.validation.Validator, java.lang.Class <?>[]] 
 @ line 13, column 4.
                 validator.validate(validator, groups as Class<?>[])
      ^

1 error

Issue Links

• is related to: GROOVY-9413 Groovy 3.0 seem to have a problem with <?>, can't handle it in Java interface method when called from Groovy.