Yeah that's what I meant. Ping me whenever you want to talk about it.
Le mar. 11 nov. 2025 à 21:32, Miguel Ojeda <[email protected]> a écrit : > > On Wed, Nov 5, 2025 at 11:54 AM Guillaume Gomez > <[email protected]> wrote: > > > > You can add your own tags in the doctests, and with our patch waiting > > to use the new rustdoc doctests extraction, it should be pretty easy > > to plug such a feature into it. We can check it together if you want > > when the patch is merged to see if we already have everything needed > > or if I need to add more things on rustdoc side. > > If you mean the `unknown` field (in the JSON) that I mentioned in my > message, then yeah, I think that is good enough (though we should > probably still prevent collisions with future `rustdoc` ones). > > If you mean something else that I may be missing, please let me know, of > course! > > And yeah, we can take a look together (likely after LPC). > > Thanks! > > Cheers, > Miguel
