checker/tests/nullness/BinarySearch.java

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

// Allow searching through nullable arrays components
// and for nullable keys.
public class BinarySearch {
  @Nullable Object @NonNull [] arr = {"a", "b", null};

  void search(@Nullable Object key) {
    int res = java.util.Arrays.binarySearch(arr, key);
    res = java.util.Arrays.binarySearch(arr, 0, 4, key);
  }
}