I am simply proposing to change the value to something that may bring
us other benefits.
- Why any value at all? Last I checked, we now have variadic templates, where "now" is defined as since 2011...
- Why conflate dynamic-extent span and static-extent span into the same templated type?
If we're going to do down that rabbit hole, I want a template-parameter-free std::string, and an allocator-free std::vector, too.
While I certainly wouldn't propose changing existing types to variadic (as that is ABI breaking), I don't see why it is undesirable for new types (quite the opposite, as it makes it easier to extend types while still being able to process them generically), nor why we should still conflate dynamic and static extent spans into one templated type. Could you elaborate?