1-- { dg-do compile }
2
3with Text_IO; use Text_IO;
4
5procedure Discr43 is
6
7  type Arr is array (Short_Integer range <>) of Boolean;
8
9  type Rec (LB : Short_Integer; UB : Short_Integer) is record
10    A : Arr (LB .. UB);
11  end record;
12
13begin
14  Put_Line ("Arr'Max_Size =" & Arr'Max_Size_In_Storage_Elements'Img);
15  Put_Line ("Rec'Max_Size =" & Rec'Max_Size_In_Storage_Elements'Img);
16end;
17