On Thu, Aug 17, 2023 at 9:08 PM Lénárd Szolnoki wrote:
>
> foo(a, pretend_is_std_array(a.arr)); // breaking the aliasing
> assumption here


I'll get to the point here:

How about we explicitly write in the C++26 Standard that T[len] and
array<T,len> are ABI-compatible, and also provide two functions:

    stdarray_to_array
    array_to_stdarray

, both of which return a reference to an object that doesn't
malfunction where you have anti-aliasing optimisations.