1-- { dg-do compile } 2 3with Size_Attribute1_Pkg1; 4 5package Size_Attribute1 is 6 7 function Num return Natural; 8 pragma Import (Ada, Num); 9 10 type A is array (Natural range <>) of Integer; 11 12 type T is 13 record 14 F1 : Long_Float; 15 F2 : A (1 .. Num); 16 end record; 17 18 package My_Q is new Size_Attribute1_Pkg1 (T); 19 20end Size_Attribute1; 21