You are viewing a plain text version of this content. The canonical link for it is here.
Posted to notifications@groovy.apache.org by "Eric Milles (Jira)" <ji...@apache.org> on 2021/03/16 13:40:00 UTC

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

     [ https://issues.apache.org/jira/browse/GROOVY-9985?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Eric Milles reassigned GROOVY-9985:
-----------------------------------

    Assignee: Paul King

> 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
>            Assignee: Paul King
>            Priority: Major
>          Time Spent: 10m
>  Remaining Estimate: 0h
>
> 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, an exception is thrown at runtime
> {code:java}
> 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)
> {code}
> Tested on [https://github.com/apache/groovy/commit/f0eea862549529ef4e93fafe337f86dd4ac98751]
>  



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