On Fri, Aug 9, 2024 at 12:40 PM Eduard Zingerman <eddyz87@xxxxxxxxx> wrote: > > On Fri, 2024-08-09 at 12:28 -0700, Andrii Nakryiko wrote: > > [...] > > > I'm not sure I follow your question. Drained or not it's still a valid > > iterator state. > > E.g. make sure that some such functions might be called only after a > call to next() that returned a value. if that's important for some specific kfunc, it can handle that easily internally, I don't think we need to complicate verifier with something like that, even if that might have been useful for some niche use cases. > > > I don't want to put any restrictions, the user is free > > to pass it at any point between new and destroy. > > Ok, as you say. > > [...] >
