P1357R1

Traits for [un]bounded arrays