Re: [PATCH v3 05/10] rust: uaccess: add UserSliceWriter::write_slice_file()

[Miguel Ojeda]

On Sat, Nov 1, 2025 at 3:27 PM Alexandre Courbot <acourbot@xxxxxxxxxx> wrote:
>
> Are you referring to this discussion?
>
> https://lore.kernel.org/rust-for-linux/DDK4KADWJHMG.1FUPL3SDR26XF@xxxxxxxxxx/

I saw that one and the patches  -- perhaps it was in meetings, but
dealing with guarantees that are only true in the kernel (assumptions,
conversions) has come up before several times over the years.

Cheers,
Miguel