[jira] [Created] (GROOVY-9985) STC does not report type mismatches in array initializers

["Thodoris Sotiropoulos (Jira)" <ji...@apache.org>]

Thodoris Sotiropoulos created GROOVY-9985:
---------------------------------------------

             Summary: STC does not report type mismatches in array initializers
                 Key: GROOVY-9985
                 URL: https://issues.apache.org/jira/browse/GROOVY-9985
             Project: Groovy
          Issue Type: Bug
          Components: Static Type Checker
            Reporter: Thodoris Sotiropoulos


The following program compiles (with @CompileStatic), although it shouldn't.
{code:java}
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
    }
}
{code}
As a result, there an exception is thrown at runtime
{code:java}
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: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)

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

 



--
This message was sent by Atlassian Jira
(v8.3.4#803005)