gcc/testsuite/gnat.dg/discr49_rec2.ads

   1 with Discr49_Rec1; use Discr49_Rec1;
   2
   3 package Discr49_Rec2 is
   4    type Child (Discr : Boolean) is private;
   5    function Value (Obj : Child) return Integer;
   6
   7 private
   8    type Child (Discr : Boolean) is
   9      new Parent (Discr_1 => Discr, Discr_2 => True);
  10 end Discr49_Rec2;