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
