gcc/testsuite/gnat.dg/deferred_const4_pkg.ads

   1 generic
   2
   3   type User_T is private;
   4
   5 package Deferred_Const4_Pkg is
   6
   7   type T is private;
   8
   9   Null_T : constant T;
  10
  11 private
  12
  13   type T (Valid : Boolean := False) is record
  14     case Valid is
  15       when True  => Value : User_T;
  16       when False => null;
  17     end case;
  18   end record;
  19
  20   Null_T : constant T := (Valid => False);
  21
  22 end Deferred_Const4_Pkg;