checker/tests/nullness/java8/lambda/Issue572.java

// Test case for issue #572: https://github.com/typetools/checker-framework/issues/572

import java.util.function.BiFunction;
import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.checker.nullness.qual.Nullable;

public class Issue572 {
  static <A, B, C> C biApply(BiFunction<A, B, C> f, A a, B b) {
    return f.apply(a, b);
  }

  public <A, B> A konst(@NonNull A a, @Nullable B b) {
    // :: error: (argument)
    return biApply(((first, second) -> first), a, b);
  }
}