annotation-file-utilities/tests/InstanceOfSimple.goal

package annotator.tests;

import java.util.List;

public class InstanceOfSimple {
  public void foo(Object o) {
    if (o instanceof @java.lang.Tainted List) {
      o = new Object();
    }
    System.out.println(o);
  }
}