is an iterator allowed to reuse the same "state" object?

[Bergi]

No, it must return a new object every time.

See 
https://esdiscuss.org/topic/performance-of-iterator-next-as-specified 
for the last discussion on this.

  Bergi