[GROOVY-9985] STC does not report type mismatches in array initializers

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 3.0.8, 4.0.0-alpha-3, 2.5.22
• Component/s: Static Type Checker
• Assignee: Paul King
• Reporter: Thodoris Sotiropoulos
• Created: 15/Mar/21 10:13
• Updated: 15/Mar/23 13:59
• Resolved: 18/Mar/21 04:17

Description

The following program compiles (with @CompileStatic), although it shouldn't.

public class Main {
    public static void main(String[] args) {
      Integer[] arr = new Integer[]{1, "str"}; // does not report error
      // Integer[] arr2 = [1, "fda"] as Integer[] // does not report error (see GROOVY-9986)
    }
}

As a result, an exception is thrown at runtime

Exception in thread "main" org.codehaus.groovy.runtime.typehandling.GroovyCastException: Cannot cast object 'str' with class 'java.lang.String' to class 'java.lang.Integer'
        at org.codehaus.groovy.runtime.typehandling.DefaultTypeTransformation.castToNumber(DefaultTypeTransformation.java:172)
        at org.codehaus.groovy.runtime.typehandling.DefaultTypeTransformation.continueCastOnNumber(DefaultTypeTransformation.java:282)
        at org.codehaus.groovy.runtime.typehandling.DefaultTypeTransformation.castToType(DefaultTypeTransformation.java:243)
        at org.codehaus.groovy.vmplugin.v8.IndyInterface.fromCache(IndyInterface.java:318)
        at Main.main(test.groovy:4)

Tested on https://github.com/apache/groovy/commit/f0eea862549529ef4e93fafe337f86dd4ac98751

 

Issue Links

• is cloned by: GROOVY-9986 CLONE - STC does not report type mismatches for coerced list expression