annotation-file-utilities/tests/TypeCastGeneric.goal

package annotator.tests;

import java.util.List;

public class TypeCastGeneric {
  public void foo(Object o) {
    List<Integer> i = (List<@java.lang.UnderInitialization Integer>) o;
    System.out.println(i);
  }
}