[GROOVY-11371] unsafe conversion of array of reference type to an array of primitive type

• Type: Bug
• Status: Resolved
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: 5.0.0-alpha-10
• Component/s: Static Type Checker

Language

groovy

• Assignee: Eric Milles
• Reporter: Thodoris Sotiropoulos
• Created: 09/May/24 12:19
• Updated: Yesterday 20:11
• Resolved: Yesterday 20:11

Description

I have the following program

class Test {
  public static void main(String[] args) {
    double[] z = new Double[]{null};
  }
} 

Actual behavior

The compiler accepts the program. However, I get the following exception at runtime.

 

Exception in thread "main" java.lang.IllegalArgumentException
        at java.base/java.lang.reflect.Array.set(Native Method)
        at org.codehaus.groovy.runtime.typehandling.DefaultTypeTransformation.asArray(DefaultTypeTransformation.java:459)
        at org.codehaus.groovy.runtime.typehandling.DefaultTypeTransformation.castToType(DefaultTypeTransformation.java:228)
        at org.codehaus.groovy.vmplugin.v8.IndyInterface.fromCache(IndyInterface.java:336)
        at Test.main(test.groovy:3)
 

Expected behavior

The compiler should reject the program: Double[] is not convertible to double[].

Notes

Tested against master (commit: 8ba8e8264fc3edeb9c70b52937edb97b0246a5d5)

Groovy 4.0.10 rejects the program as expected.

Issue Links

• is related to: GROOVY-10359 STC misses type error when involving a variable with a char a declared type
• is related to: GROOVY-10095 Wrong LUB when involving a numeric constant and null
• is related to: GROOVY-9916 IllegalArgumentException when set null to a boolean field into a closure
• is related to: GROOVY-11203 IllegalArgumentException: null argument for primitive parameter