1-- { dg-do compile }
2
3with Constant1_Pkg;
4
5package Constant1 is
6
7  type Timer_Id_T is new Constant1_Pkg.Timer_Id_T with null record;
8
9  type Timer_Op_T (Pending : Boolean := False) is
10     record
11       case Pending is
12         when True =>
13           Timer_Id : Timer_Id_T;
14         when False =>
15           null;
16       end case;
17     end record;
18
19  Timer : Timer_Op_T
20    := (True, Timer_Id_T'(Constant1_Pkg.Null_Timer_Id with null record));
21
22end Constant1;
23