Trait bounds are among my favorite toys ๐ช
Only eight widths compile: 1, 2, 4, 8, 16, 32, 64, 128.
The rule: BITS has to divide 256 evenly. Since 256 is a power of two, those eight are exactly the widths at or below 128 that pack a slot with zero leftover bits.
Enforced by a marker trait implemented exactly eight times. Every method carries `where PackedBits<BITS>: ValidPackedBits`, so `StoragePackedArray<7>` is a compile-time type error, not a runtime surprise.