test/FrontendAda/Support/unc_constructor.ads

   1 package Unc_Constructor is
   2    type C is null record;
   3    type A is array (Positive range <>) of C;
   4    A0 : constant A;
   5    procedure P (X : A);
   6 private
   7    A0 : aliased constant A := (1 .. 0 => (null record));
   8 end;