// Test case for Issue 1377. | |
// https://github.com/typetools/checker-framework/issues/1377 | |
interface Func1377<P, R> { | |
R apply(P p); | |
} | |
@SuppressWarnings("all") // just check for crashes | |
interface Issue1377<V> { | |
static <U> Issue1377<U> of(Issue1377<U> in) { | |
return in; | |
} | |
<S> Issue1377<S> m1(Func1377<? super V, S> f); | |
<T> Issue1377<T> m2(Func1377<V, T> f); | |
} | |
@SuppressWarnings("all") // just check for crashes | |
class Crash1377 { | |
void foo(Issue1377<Void> p) { | |
Issue1377.of(p.m1(in -> p)).m2(empty -> 5); | |
} | |
} |