[GROOVY-11382] fail to identify type error in static array initialization with generic classes

• Type: Bug
• Status: Open
• Priority: Minor
• Resolution: Unresolved
• Component/s: Static Type Checker

Language

groovy

• Assignee: Unassigned
• Reporter: Thodoris Sotiropoulos
• Created: 20/May/24 13:43
• Updated: 26/May/24 15:25

Description

Probably related to GROOVY-9985

import java.util.*

class Test {
  public static void main(String[] args) {
    List<String> lst = ["fda"];
    List<Integer>[] x = new List<Integer>[]{lst};
    Integer k = x[0].get(0)
  }
} 

Actual behavior

The program compiles but receiving the following runtime error:

 

Exception in thread "main" org.codehaus.groovy.runtime.typehandling.GroovyCastException: Cannot cast object 'fda' with class 'java.lang.String' to class 'java.lang.Integer'
        at org.codehaus.groovy.runtime.typehandling.DefaultTypeTransformation.castToNumber(DefaultTypeTransformation.java:173)
        at org.codehaus.groovy.runtime.typehandling.DefaultTypeTransformation.continueCastOnNumber(DefaultTypeTransformation.java:288)
        at org.codehaus.groovy.runtime.typehandling.DefaultTypeTransformation.castToType(DefaultTypeTransformation.java:245)
        at org.codehaus.groovy.vmplugin.v8.IndyInterface.fromCache(IndyInterface.java:336)
        at Test.main(test.groovy:7) 

Expected behavior

The program should have been rejected