1-- { dg-do compile }
2
3package Last_Bit is
4
5   Max_Components : constant := 100;
6   type Count_Type is new Natural range 0 .. Max_Components;
7   subtype Index_Type is Count_Type range 1 .. Count_Type'Last;
8
9   type List_Type is array (Index_Type range <>) of Integer;
10
11   type Record_Type (Count : Count_Type := 0) is record
12      List : List_Type (1 .. Count);
13   end record;
14
15   Null_Record : Record_Type (Count => 0);
16
17   List_Last_Bit : Integer := Null_Record.List'Last_Bit;
18
19end Last_Bit;
20