Issue1102.java

// Test case for Issue 1102:
// https://github.com/typetools/checker-framework/issues/1102
// Additional test in checker/tests/nullness/Issue1102.java

interface Issue1102Itf {}

class Issue1102Base {}

class Issue1102Decl extends Issue1102Base {
    static <S extends Object, T extends Issue1102Base & Issue1102Itf> Issue1102Decl newInstance(
            T s) {
        return new Issue1102Decl();
    }
}

@SuppressWarnings("") // Only interested in possible crash
class Issue1102Use<U extends Issue1102Base & Issue1102Itf> {
    U f;

    void bar() {
        Issue1102Decl d = Issue1102Decl.newInstance(f);
    }
}