You are viewing a plain text version of this content. The canonical link for it is here.
Posted to notifications@groovy.apache.org by "Thodoris Sotiropoulos (Jira)" <ji...@apache.org> on 2021/03/21 14:46:00 UTC
[jira] [Created] (GROOVY-9994) Type checking of array initializer
expressions
Thodoris Sotiropoulos created GROOVY-9994:
---------------------------------------------
Summary: Type checking of array initializer expressions
Key: GROOVY-9994
URL: https://issues.apache.org/jira/browse/GROOVY-9994
Project: Groovy
Issue Type: Bug
Reporter: Thodoris Sotiropoulos
This is a follow up of https://issues.apache.org/jira/browse/GROOVY-9985
After the bug fix of the above GROOVY-9985, STC indeed catches the type error in the following program
{code:java}
public class Main {
public static void main(String[] args) {
Integer[] arr = new Integer[] {"fd" 1}; // compile-time error here
Integer y = arr[0];
}
}
{code}
However, STC still is not able to catch type errors like the following
{code:java}
public class Main {
public static void main(String[] args) {
Integer[] arr = new Integer[] {new Object(), 1}; // STC misses the error here
Integer y = arr[0]; // ClassCastException at runtime
}
}
{code}
--
This message was sent by Atlassian Jira
(v8.3.4#803005)