On 10/8/2020 10:49 AM, Andrei Alexandrescu wrote: > It occured to me we could define that traite, but we got away without it by > implicitly decreeing that anything contiguous is just supposed to be a T[]. We didn't "get away" with anything, we just did it right the first time :-)