framework/tests/all-systems/Issue1043.java

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

public class Issue1043 {
  <T> boolean foo(Class<T> p) {
    return true;
  }

  void bar(Object p) {}

  void baz() {
    bar(foo(this.getClass()) ? "a" : "b");
  }
}