On Wed, May 28, 2025 at 5:55 PM Jesung Yang y.j3ms.n@gmail.com wrote:
So in sum, I believe it's reasonable to keep the diff unchanged... but I'm happy to adjust if you'd prefer a different approach.
I see this is based on rust-next -- if you rebase the patch on top of the latest one, you will see the prelude there :)
Thanks!
Cheers, Miguel