Next: Aggregates in assignment statements, Previous: Aggregates with static bounds, Up: Code Generation for Array Aggregates [Contents][Index]
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.