gcc/testsuite/gnat.dg/discr36.ads

   1 package Discr36 is
   2
   3   type R (D : Boolean := True) is record
   4     case D is
   5       when True  => I : Integer;
   6       when False => null;
   7     end case;
   8   end record;
   9
  10   function N return Natural;
  11
  12 end Discr36;