annotation-file-utilities/tests/BoundMethodSimple.goal

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) {
  }
}