checker/tests/nullness/Issue3888.java

import org.checkerframework.checker.nullness.qual.PolyNull;

abstract class Issue3888 {

  interface L<X> {}

  interface E {}

  public interface F<V, Y> {
    Y a(V v);
  }

  abstract <T> void f(F<T, Boolean> f);

  void c(F<E, @PolyNull L> o) {
    f((E vm) -> o.a(vm) == null);
  }
}