Home | History | Annotate | Download | only in tests
      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