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