annotation-file-utilities/tests/TypeCastSimple.goal

package annotator.tests;

import java.util.List;

public class TypeCastSimple {
  public void foo(Object o) {
    List myList = (/* @UnderInitialization*/ @java.lang.UnderInitialization List) o;
    System.out.println(o);
  }
}