Shane F. Carr

I came up with the name `DefaultVec` based on Python `defaultdict` which is a structure where data access is always successful, returning a default value.

Ok I'll try to make it specific to `icu_pattern`.

> I'm not really in favor of introducing a Transparent trait, but I'll have a closer look later. I don't think such a trait is necessary to achieve what we...

I would use the `ref-cast` crate, but it doesn't support everything we need (box casting), and dtolnay says it's unlikely to support that. Adding yet another crate to do this,...

This functionality is sufficiently similar to what's in zerovec that I'd be okay adding them there In case it got lost, I want to point out that these are not...

I haven't done a full audit but I would make the claim that most variable length repr(transparent) things need both ref-cast and VarULE impls, and since all ref-cast impls currently...

Can you explain or demonstrate or cite how to do this safely without the trait bound? That might help move the conversation forward. Ultimately I'm mostly onboard with putting this...

Can the invariant be enforced without the trait by generating a static assertion that the sizes are equal?

I would be quite sad but not block if the solution is wrapping the struct definition in a macro. I prefer standalone macros with traits or assertions

Converting to draft pending discussions