gcc/testsuite/gnat.dg/taft_type1_pkg1.adb

   1 with Taft_Type1_Pkg2;
   2
   3 package body Taft_Type1_Pkg1 is
   4    type TAMT1 is new Taft_Type1_Pkg2.Priv (X => 1);
   5    type TAMT2 is new Taft_Type1_Pkg2.Priv;
   6
   7    procedure Check is
   8       Ptr1 : TAMT1_Access := new TAMT1;
   9       Ptr2 : TAMT2_Access := new TAMT2 (X => 2);
  10    begin
  11       if Ptr1.all.X /= 1 then
  12          raise Program_Error;
  13       end if;
  14       if Ptr2.all.X /= 2 then
  15          raise Program_Error;
  16       end if;
  17    end;
  18 end Taft_Type1_Pkg1;