Re: [PATCH v3 0/2] rust: add NonEmpty

[Alexandre Courbot]

On Thu Oct 15, 2026 at 11:11 PM JST, Miguel Ojeda wrote:
> On Thu, Oct 15, 2026 at 4:08 PM Gary Guo <gary@xxxxxxxxxxx> wrote:
>>
>> `kernel::types` is too generic and becomes a dumping ground of things. I wonder
>> if we should group things that are new types with just range restrictions
>> (together things like NonZero, Bounded, and perhaps eventually Range, NonNeg and
>> others).
>
> Yeah, we indeed had that problem, which is why nowadays as you say we
> prefer things to be more split than less, because going into the
> "grouping" direction is usually easier (i.e. it is easier to comer up
> with better hierarchies when we have more types around, but it is
> annoying to have a big file growing with no boundaries meanwhile).

In this case maybe we can resurrect the `kernel::slice` module for this?