Re: [PATCH v4 1/4] rust: iov: add iov_iter abstractions for ITER_SOURCE

[Miguel Ojeda]

On Wed, Aug 13, 2025 at 1:27 PM Danilo Krummrich <dakr@xxxxxxxxxx> wrote:
>
> Technically, this covers the safety requirements from inc_len(). However, do we
> want to provide a list of justifications if the unsafe functions has a list of
> requirements, such that they are easier to match?

Yeah, I think we should at least try in places where people is OK with
it, to see how it goes, and then we can apply it elsewhere, especially
if we get a way to automate checking for it eventually.

After all, if we never start and get the ball rolling, we will never get there.

Cheers,
Miguel