From: "Alexandre Courbot" <acourbot@nvidia.com>
To: "Younes Akhouayri" <git@younes.io>
Cc: "Rust For Linux" <rust-for-linux@vger.kernel.org>,
"Yury Norov" <yury.norov@gmail.com>, "Ojeda" <ojeda@kernel.org>,
"Yu Whisper Personal" <yu.whisper.personal@gmail.com>
Subject: Re: From<bool> and Bounded's invariant for signed N = 1
Date: Fri, 14 Aug 2026 22:45:43 +0900 [thread overview]
Message-ID: <DKOPNPML7DW0.2XL1WMCACTTLW@nvidia.com> (raw)
In-Reply-To: <OzwfgEC--F-9@younes.io>
On Fri Aug 14, 2026 at 4:52 AM JST, Younes Akhouayri wrote:
> Thank you both for the feedback. Yes, I can send a patch.
>
> Just to confirm the intended scope: excluding signed integers entirely would also remove valid conversions such as Bounded::<i8, 2>::from(true), since signed Bounded values with N >= 2 can represent both 0 and 1.
>
> Would you prefer the simpler unsigned-only restriction, or should the patch preserve signed conversions for N >= 2?
If you can preserve the latter without complicating the code too much,
then I'd say that should be preferred yes.
prev parent reply other threads:[~2026-08-14 13:45 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-08-13 9:46 From<bool> and Bounded's invariant for signed N = 1 Younes Akhouayri
2026-08-13 10:16 ` Miguel Ojeda
2026-08-13 13:04 ` Alexandre Courbot
2026-08-13 19:52 ` Younes Akhouayri
2026-08-14 13:45 ` Alexandre Courbot [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=DKOPNPML7DW0.2XL1WMCACTTLW@nvidia.com \
--to=acourbot@nvidia.com \
--cc=git@younes.io \
--cc=ojeda@kernel.org \
--cc=rust-for-linux@vger.kernel.org \
--cc=yu.whisper.personal@gmail.com \
--cc=yury.norov@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox