package annotator.tests; import java.util.Comparator; import java.util.Date; import java.util.List; public class BoundMethodSimple { public <T extends @java.lang.Tainted Date> void foo(T t) { System.out.println(t); } public <T extends @java.lang.Tainted Object> void foo2(T t) { System.out.println(t); } public static <T extends @org.checkerframework.checker.nullness.qual.Nullable @org.checkerframework.checker.nullness.qual.UnknownKeyFor Object> void foo3(List<T> list, Comparator<? super T> c) { } }