after3.java

// "Cast to 'int'" "true"
class a {
 void f() {
   int[] ii = {<caret>(int) 1.3};
 }
}