On Tue, 9 Nov 2021 09:13:41 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote: > The former would be my preferred solution Agree; I prefer not having `iterate` in the name, sth like `process_and_drop/empty/remove`, but either is fine to me. ------------- PR: https://git.openjdk.java.net/jdk/pull/6303