gcc/testsuite/gnat.dg/discr42_pkg.ads

   1 package Discr42_Pkg is
   2
   3    type Rec (D : Boolean := False) is record
   4       case D is
   5          when True  => N : Natural;
   6          when False => null;
   7       end case;
   8    end record;
   9
  10    function F (Pos : in out Natural) return Rec;
  11
  12 end Discr42_Pkg;