checker/tests/nullness/Bug102.java

// Test case for Issue 102
public final class Bug102 {
  class C<T extends @org.checkerframework.checker.nullness.qual.Nullable Object> {}

  void bug1() {
    C<String> c = new C<>();
    m(c);
    m(c); // note: the bug disapear if calling m only once
  }

  void bug2() {
    C<String> c = new C<>();
    m(c);
  }

  // :: error: (invalid.polymorphic.qualifier)
  <@org.checkerframework.checker.nullness.qual.PolyNull S> void m(
      final C<@org.checkerframework.checker.nullness.qual.PolyNull String> a) {}
}