checker/tests/nullness/ArrayIndex.java

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

public class ArrayIndex {
  void foo(@Nullable Object[] a, int i) {
    if (a[i] != null) {
      a[i].hashCode();
    }
    if (a[i + 1] != null) {
      a[i + 1].hashCode();
    }
    if (a[i + 1] != null) {
      // :: error: (dereference.of.nullable)
      a[i].hashCode();
    }
  }
}