> What code handles these? Other languages (such as Ada) could benefit
> from that, and I'd like to support it fully sometime, but what code
> handles it?
I just spotted this bit in stor-layout.c:layout_type :
No, I meant what code handles generating code for ARRAY_REF of such
types? We shouldn't be making types that we can't generate code for!