beforeCast.java

// "Apply conversion '.toArray(new java.lang.Integer[0])'" "true"

import java.util.*;
class Cast {
  Integer[] foo() {
    Iterable<Integer> c = Arrays.asList(1, 2);
    Integer[] arr = (Collection<Integer>)<caret>c;
    return arr;
  }
}