checker/tests/nullness/ObjectsRequireNonNull.java

// Test case for https://tinyurl.com/cfissue/3149 .

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

public class ObjectsRequireNonNull {
  void foo(@Nullable Object nble, @NonNull Object nn) {
    // :: error: (argument)
    Objects.requireNonNull(null);
    // :: error: (argument)
    Objects.requireNonNull(nble);
    Objects.requireNonNull("hello");
    Objects.requireNonNull(nn);
  }
}