before3.java

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