framework/tests/framework/GenericTest2.java

// Test case for Issue 132:
// https://github.com/typetools/checker-framework/issues/132
// Method type argument inference test case.
public class GenericTest2 {
  public interface Data<S> {}

  public interface DataUtils {
    <T> Data<T> makeData(T value);
  }

  public <U> void test(U value, DataUtils utils) {
    Data<? extends U> data = utils.makeData(value);
  }
}