The existing comment is a bit too vague.
gcc/ada/ChangeLog:
* exp_aggr.ads (Is_Two_Pass_Aggregate): Beef up comment.
function Is_Two_Pass_Aggregate (N : Node_Id) return Boolean;
-- Return True if N is an aggregate that is to be expanded in two passes.
- -- This is the case if it consists only of iterated associations.
+ -- This is the case if it consists only of iterated component associations
+ -- with iterator specifications, see RM 4.3.3(20.2/5).
function Static_Array_Aggregate (N : Node_Id) return Boolean;
-- N is an array aggregate that may have a component association with