afterTypeAnnoArray.java

// "Cast to 'int[]'" "true"
import java.lang.annotation.*;
import static java.lang.annotation.ElementType.*;

@Target({TYPE_USE}) @interface TA { }

class C {
  {
    Object o = null;
    @TA int @TA [] a = (int[]) o;
  }
}