> Fixed-size arrays do not solve this particular issue that I've noted above.
And I didn't say so ;-)
But generic value parameters would not only allow you to define fixed-size 
arrays, but also arrays with certain other properties:
Minimal size, maximal size… maybe even number of elements or other more 
complicated things.
(that is one reason why I think this is the best approach — its more versatile 
than the alternative)

I really hope that you find supporters for non-empty arrays - that would also 
be a strong motivation to add subtyping for arrays ;-) (struct NonEmptyArray: 
swift-evolution mailing list

Reply via email to