expectNoWrite

The caller may not change the aggregate.