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<String>();
        m(c);
        m(c); // note: the bug disapear if calling m only once
    }

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

    <@org.checkerframework.checker.nullness.qual.PolyNull S> void m(
            final C<@org.checkerframework.checker.nullness.qual.PolyNull String> a) {}
}