// Test case for Issue #888
// https://github.com/typetools/checker-framework/issues/888

public class Issue888 {
  <T> T foo(T t) {
    return t;
  }

  void bar(int i) {
    foo(i).toString();
  }
}