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

[Miguel Ojeda]

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).

Cheers,
Miguel