Update concepts branch to revision 131834

[official-gcc.git] / gcc / testsuite / gnat.dg / specs / array_no_def_init.ads

--  { dg-do compile }

pragma Restrictions (No_Default_Initialization);
package Array_No_Def_Init is
        
   type Int_Array is array (Natural range <>) of Integer;
   IA : Int_Array (1 .. 10);
        
end Array_No_Def_Init;