Re: why "unconstrained subtype in component declaration" while said component given default value ?

[Mehdi Saada <00120260a@gmail.com>]

But isn't the situation the same in automatic variables, with arrays whose constraint is only known at run time ? Like this:
procedure Main is
   subtype Pos_Little is Positive range 1..56;
   package Num_Gen is new Ada.Numerics.Discrete_Random (Pos_Little);
   Gen : Num_Gen.Generator;
begin
   declare
      Arr : array (1..Num_Gen.Random(Gen)) of Positive;
   begin
      null;
   end;
end Main;
Yet this case is legal.