They're right that this would require additional allocations though, no?

As you indicate though there's no need for this to be something the user of the type needs to think about.