Re: [PATCH 1/2] rust: pin-init: fix broken rust doc link
From: Guillaume Gomez
Date: Wed Nov 19 2025 - 16:20:14 EST
Thanks for opening them!
Gonna take a look tomorrow.
Le mer. 19 nov. 2025 à 19:28, Miguel Ojeda
<miguel.ojeda.sandonis@xxxxxxxxx> a écrit :
>
> 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