[GROOVY-9994] Type checking of array initializer expressions

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 3.0.8, 4.0.0-beta-1, 2.5.22
• Assignee: Eric Milles
• Reporter: Thodoris Sotiropoulos
• Created: 21/Mar/21 14:45
• Updated: 15/Mar/23 14:00
• Resolved: 26/May/21 22:22

Description

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

public class Main {
  public static void main(String[] args) {
    Integer[] arr = new Integer[] {"fd" 1}; // compile-time error here
    Integer y = arr[0];
  }
}

However, STC still is not able to catch type errors like the following

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
  }
  
}