code: @Override
    Nullness visitArrayAccess(ArrayAccessNode node, SubNodeValues inputs, Updates updates) {
      setNonnullIfTrackable(updates, node.getArray());
      return hasPrimitiveType(node) ? NONNULL : defaultAssumption;
    }
docs: Refines the accessed array to non-null after a successful array access.
  
  <p>Note: If the array access occurs when the node is an l-value, the analysis won't call this
  method. Instead, it will call {@link #visitAssignment}.