docs: @Override
    Nullness visitArrayAccess(ArrayAccessNode node, SubNodeValues inputs, Updates updates) {
      setNonnullIfTrackable(updates, node.getArray());
      return hasPrimitiveType(node) ? NONNULL : defaultAssumption;
    }