Re: [PATCH] rust: num: document why Integer is sealed

[Miguel Ojeda]

On Sun, Sep 6, 2026 at 2:46 PM Gary Guo <gary@xxxxxxxxxxx> wrote:
>
>     #[sealed] // so that unsafe code can rely on correctnes
>
> would serve the purpose. Miguel, any thoughts?

Yeah, we could at least mention something about the seal in the `//
SAFETY` comments that actually rely on it, even if it is just adding
"The trait is sealed." or maybe a bit more.

Cheers,
Miguel