exp_aggr.adb (Gen_Assign): If the expression is an aggregate for a component of an...