Primitive array := #array_type.

Check [| | 0 |].