!editorial comment 118
!topic  Corresponding_Expression_Type has new case for Nil_Element 
!reference  ASIS 95-17.1
!from  Sergey Rybin  98-08-15

There is one more case when Corresponding_Expression_Type should
return Nil_Element, this case is not metioned in 17.1.

This case corresponds to inner sub-aggregates in multidimentional array
aggregates:

procedure Test_Aggregate is
   type Arr is array (1 .. 10, 1 .. 10) of Integer;

   V : Arr;
begin
   V := (V'Range (1) => (V'Range (2) => 13));
                        ^^^^^^^^^^^^^^^^^^^^
end Test_Aggregate;              /|\
                                  |
                                  |
There is no type declaration for this aggregate expression.

!resolution  Accept.

Change:

-- Returnes a Nil_Element, if a statically determinable type of Expression is a
-- class-wide type.

To:

-- Returnes a Nil_Element, if the statically determinable type of Expression is a
-- class-wide type, or the Expression corresponds to an inner sub-aggregate in
-- multi-dimensional array aggregates.