annotation-file-utilities/tests/NewGeneric.goal

package annotator.tests;

import java.util.List;

public class NewGeneric {
  public void foo(Object o) {
    List<NewGeneric> varOne = (@java.lang.Tainted List<@java.lang.UnderInitialization NewGeneric>) o;

    NewGeneric varTwo = (@java.lang.UnderInitialization NewGeneric) varOne;

    varTwo.foo(varOne);
  }
}