checker/tests/nullness/ObjectsRequireNonNullElse.java

// Test case for https://tinyurl.com/cfissue/3056 and https://tinyurl.com/cfissue/3149 .
// Test case for https://tinyurl.com/cfissue/3149 .
// @below-java11-jdk-skip-test

import static java.util.Objects.requireNonNullElse;

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

public class ObjectsRequireNonNullElse {
  public static void main(String[] args) {
    @NonNull String value = requireNonNullElse(null, "Something");
    System.err.println(requireNonNullElse(null, "Something"));

    // This should fail typechecks, because it fails at run time.
    // :: error: (argument)
    System.err.println((Object) requireNonNullElse(null, null));
  }
}