Re: [PATCH 1/2] rust: pin-init: fix broken rust doc link

[Miguel Ojeda]

On Fri, Oct 17, 2025 at 3:06 PM Guillaume Gomez
<guillaume1.gomez@xxxxxxxxx> wrote:
>
> Indeed, although, please open an issue on rust repository so the team
> can discuss how this feature would look like.

Done -- for both the features (checking & runtime toggle):

    https://github.com/rust-lang/rust/issues/149105
    https://github.com/rust-lang/rust/issues/149106

Of course, if we have the latter, then we may not need the former etc.
I tried to add a good chunk of context in the issues, especially the
first one.

I hope that helps, and thanks Guillaume!

Cheers,
Miguel