// 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);
  }
}