gcc/testsuite/gnat.dg/discr11_pkg.ads

   1 package Discr11_Pkg is
   2    type DT_1 (<>) is tagged private;
   3    function Create return DT_1;
   4 private
   5    type DT_1 (Size : Positive) is tagged record
   6       Data : String (1 .. Size);
   7    end record;
   8 end Discr11_Pkg;