Node: Aggregates with non-static bounds, Next: Aggregates in assignments statements, Previous: Aggregates with static bounds, Up: Code generation for array aggregates
If the bounds of the aggregate are not statically compatible with the bounds of the nominal subtype of the target, then constraint checks have to be generated on the bounds. For a multidimensional array, constraint checks may have to be applied to sub-arrays individually, if they do not have statically compatible subtypes.