[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <CANiq72mV_Xyh6QakuiqKhiOx6c_=8O5yi41PDWZRL2fb=UY4OQ@mail.gmail.com>
Date: Mon, 26 Jan 2026 04:14:11 +0100
From: Miguel Ojeda <miguel.ojeda.sandonis@...il.com>
To: Shivam Kalra <shivamklr@...k.li>
Cc: Miguel Ojeda <ojeda@...nel.org>, Alexandre Courbot <acourbot@...dia.com>,
rust-for-linux@...r.kernel.org, linux-kernel@...r.kernel.org
Subject: Re: [PATCH] rust: num: clean up Bounded::__new documentation and comments
On Fri, Jan 23, 2026 at 2:24 PM Shivam Kalra <shivamklr@...k.li> wrote:
>
> Remove the redundant paragraph in the documentation of __new now that
> the Safety section explicitly covers the requirement. Additionally,
> add an INVARIANT comment inside the function body where the Bounded
> instance is actually constructed to document that the type invariant
> is upheld.
>
> Link: https://lore.kernel.org/rust-for-linux/CANiq72mUCUh72BWP4eD1PTDpwdb1ML+Xgfom-Ys6thJooqQPwQ@mail.gmail.com/.
> Suggested-by: Miguel Ojeda <ojeda@...nel.org>
> Signed-off-by: Shivam Kalra <shivamklr@...k.li>
Applied to `rust-fixes` (because it cleans up the other one there) --
thanks everyone!
[ Reworded slightly. - Miguel ]
Cheers,
Miguel
Powered by blists - more mailing lists