gcc/testsuite/gnat.dg/specs/constant1.ads

   1 -- { dg-do compile }
   2
   3 with Constant1_Pkg;
   4
   5 package 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
  22 end Constant1;