1 package annotator.tests; 2 3 import java.util.List; 4 5 public class NewGeneric { 6 public void foo(Object o) { 7 List<NewGeneric> varOne = (@java.lang.Tainted List<@java.lang.UnderInitialization NewGeneric>) o; 8 9 NewGeneric varTwo = (@java.lang.UnderInitialization NewGeneric) varOne; 10 11 varTwo.foo(varOne); 12 } 13 } 14