Github user NicoK commented on the issue:
https://github.com/apache/flink/pull/5672
thanks for the review, I also did not like the side-effect approach and
after thinking a bit about your first message, I independently came up with the
same thing as you proposed in the second one :p
-> rebased onto latest #5671 and added a fixup commit with that change---
