Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset=UTF-8
Date: Fri, 14 Aug 2026 22:45:43 +0900
Message-Id: <DKOPNPML7DW0.2XL1WMCACTTLW@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
From: "Alexandre Courbot" <acourbot@nvidia.com>
References: <OzuVxu0--J-9@younes.io> <DKNU5IBDCA44.28C93KM4IQS44@nvidia.com>
 <OzwfgEC--F-9@younes.io>
In-Reply-To: <OzwfgEC--F-9@younes.io>
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 2
X-MS-Exchange-AntiSpam-MessageData-0:
	=?utf-8?B?WGNpd3dKaEswTitwNmF1elczNEJ3WEJuNm5RZEVoWThRbmFuN2l6d3hDU3p6?=
 =?utf-8?B?SjlUMUN3SlV4QWIwYXFIVG9lL29WUU1LUkpDODh1ZTJVWkVvRWdzVkUwLytZ?=
 =?utf-8?B?b1R5VjVUaFU2ZXpDYTY3SUw4MVhmUEFLYnoxL3Fzb28wdUc2UE5iVjNYMVBs?=
 =?utf-8?B?NkVVTkkyR0p5UUxOZWJsT0JrcW4xUVFzSlBQU2xMMUtlMCtqbzdDaVlEZXZ1?=
 =?utf-8?B?RTFsWXhoWkZOeUZjK0FZeHZHZVV3VlU0RC8rWXVoVmJrU1I0eUZvSHEzMHBX?=
 =?utf-8?B?eG8rTncwSzBaYlE2SDdQZ2hRZHZwVHVFamI0Q2V1cHBHL1lyVFlOY1JteTNs?=
 =?utf-8?B?dmlvRjJBWlY0NE9tQ1hubGVYUXVyazYzY0JBS3dQekxFY2RzVmtpeWo0elRS?=
 =?utf-8?B?UWVCblJORy9CZUtLV2o0Z05VOW1rWjFuYW1nR01Ic3VvcG54M3BUWm9WMnc3?=
 =?utf-8?B?OVh2U0cyMGhmRVFwa3BBMk16TUFFWW1WcGxJaFJiVzdyT3MrVU1ONXp3U2U4?=
 =?utf-8?B?cWEvUS9IOUFWMlgwYzlWNGxkSW0yalJ0dnBxOE1WOGFQZmp3VmlzRTcxQkhN?=
 =?utf-8?B?RnRibW4veEtWYTFmQWZIeU1rNG96RVJPY0hSQ2kwZmd3bTFFRUVNTk9CcGVx?=
 =?utf-8?B?UzAyZHdOZXpPaDg2clJ1dXVpRlZ4aEQ0ZjFsN0JZYW1WYi9tRlJwWnZVTngz?=
 =?utf-8?B?cjBEMFgvcGRLZkFiVHBEYUFUTGx3TElhb050MWZJNitxNE1DWHVHaGJubTl4?=
 =?utf-8?B?ZjFmYzFtd2N3M1lkYkU1LytPV1NueGFOYnF6NUtpMFJCZDhaUEhaV2w3NWJF?=
 =?utf-8?B?bW5qNWJWN0hacXd5OFN6bG9icUtvcm5uUE1DMHl6ZTBSWTYya3dUZ2NBcVM1?=
 =?utf-8?B?WnhSNUJESFRnSGZlZ3BsQ2YzUXRwMG9WMksxSHFvVHdZRDhwWWoyNG05Tm5o?=
 =?utf-8?B?ekI5NEZYaWZBOVVCdzZWYkpObjJTSENmYUQ3UUk3eklsVnBnRHErWXV2NFVq?=
 =?utf-8?B?RDhTQzJETXhmblBrT0FOUmdoR0d0TEFEZE8rbFlsY1ZncXhTNCtRYVoxY1gr?=
 =?utf-8?B?M1pJZG1jNFJHWmtsMytqM1VnZGdBZHdGYnlzamRyT0ZxSy9vY1gwOEIzOHQw?=
 =?utf-8?B?cnRhWE5MM0pxZkpTOFk5dlhGSTVTU3Iwb2l2VGl2aWFxaFovbjRudkZjMkhl?=
 =?utf-8?B?UmEyM2V3d3NUa1hQM2ZuS2hRQ1FKelRaY2ZNTkgvMlRHd0MzT3F5SmVjWVJv?=
 =?utf-8?B?UE5CN1A3QUNxaElRcEFXQWthTG9SRWs1cmY5N1YzUU92bFBkWnNHTGk5RGdM?=
 =?utf-8?B?Y1FCY2RzRE9WODY4aTJaNVBCTTlGQnJlVFN6M3pSY01rbWJMdjdsNXFGRWRP?=
 =?utf-8?B?Ky9kK0E0OEZVU21LMkhQMUF0YXc0Q3BVQk1XTlhtTlR2dDFBNUdrNGcvdFhG?=
 =?utf-8?B?VHNHa1oxRlNTUjRjTmY3ZWk1MVRqazRqbS93M2taeVJGaFVrUUp4Rlh3dW9m?=
 =?utf-8?B?S3g1aGlXTUZ5eFQzaStvWnBKOStzZjI2aVA4U0VwN0lCUW5aLzRqY0o3Z3hj?=
 =?utf-8?B?ejZ3Wjd2WGRnUEx0ZWxmbVJSSG9valJLUzFaR3ZCUFJ0djhrdHo4VERaQVc1?=
 =?utf-8?B?dFBoMEZVOTRGS04vNm1YRWlLYkRhODJXcGplWUZWUEptNE5oWlE4ZTRBMGQ5?=
 =?utf-8?B?VWJaaXpsb05WY3A0c0JkeEdiSU05eG1wdFlBWmUrRFdWZjJpMmk3SjdJSnJE?=
 =?utf-8?B?MXZjakVYSTZtazMyMkU3bmlYWFY4a0dVVjFIcXhUcnorUEdZR0ZVUDlGRlU2?=
 =?utf-8?B?Szd1ckw4WU5weFJxYnA0b1Z2dE1VRytQQXFmbWk4c3FJTFhpK1RtbWVDbG5t?=
 =?utf-8?B?TjNST2dXTUNHRUoyN3FOb0haWktyK1RRbXliTGlTZk53VlNTQkxZaStCc0tN?=
 =?utf-8?B?b0JFSElldWI2cllQTzR6MDNxcnpWdXhpRmZpYkR3bXcvV1YwRWQ5MmdmQlJT?=
 =?utf-8?B?cTduNGlFdVd3R2Z2QUdOM295MElqTWtBdmNFNGFtdmRuQ1VybktGRytMUmth?=
 =?utf-8?B?SFR5dGZxeXYxbmhNaGkvVERROHZzWDJjTFJsd3NPdEFrU1haQWhCcTVTWjhB?=
 =?utf-8?B?TEJyb3hNT3BsRTJ4OEM2TXZ6MzY2a0QwbjhWUEVHOVU0ZXlmR3IzT1BsbGQw?=
 =?utf-8?B?aEhQbm1UeVVWZTVJNnFSNFpFQ2lzUGdzbnd1djc1S0hCR1RSbXdYcUxrUWc3?=
 =?utf-8?B?Z3BObEJhdFUyT2lnR04wWVVvSm0vUFhTRDdlaFlEQjNObUdUSzdpOXFYdkVI?=
 =?utf-8?B?MGd0N0hvZm40dHBWa1E3VFhvdCtTK0xvNjhjdlBQVU81THp0dTgyS1FFTXV6?=
 =?utf-8?Q?d4tD8e5FkNNJfNyEDSmX/2OrZK/1Vxe+IiQK6DND77YCo?=
X-MS-Exchange-AntiSpam-MessageData-1: J7mtQYYWgfzp4g==
X-OriginatorOrg: Nvidia.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 452c1245-884e-422e-27b5-08defa0a58aa
X-MS-Exchange-CrossTenant-AuthSource: CH2PR12MB3990.namprd12.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Aug 2026 13:45:47.9921
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 43083d15-7273-40c1-b7db-39efd9ccc17a
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: lZ+2/qQpUqh/B5vxV2r/UoEN8fH+CUMy4ZFXUg47Qc7Y6gKi9GHIyVusp8GX9NEHGRzcrX/BwQbinsUhHNDNuw==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY5PR12MB4116

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 wo=
uld also remove valid conversions such as Bounded::<i8, 2>::from(true), sin=
ce signed Bounded values with N >=3D 2 can represent both 0 and 1.
>
> Would you prefer the simpler unsigned-only restriction, or should the pat=
ch preserve signed conversions for N >=3D 2?

If you can preserve the latter without complicating the code too much,
then I'd say that should be preferred yes.