gcc/testsuite/gnat.dg/subp_inst.adb

   1 --  { dg-do compile }
   2 with Subp_Inst_Pkg;
   3 procedure Subp_Inst is
   4    procedure Test_Access_Image is
   5       package Nested is
   6          type T is private;
   7
   8          type T_General_Access is access all T;
   9          type T_Access is access T;
  10          function Image1 is new Subp_Inst_Pkg.Image (T, T_Access);
  11          function Image2 is new Subp_Inst_Pkg.Image (T, T_General_Access);
  12          function Image3 is new Subp_Inst_Pkg.T_Image (T);
  13       private
  14          type T is null record;
  15       end Nested;
  16
  17       A : aliased Nested.T;
  18       AG : aliased constant Nested.T_General_Access := A'Access;
  19       AA : aliased constant Nested.T_Access := new Nested.T;
  20    begin
  21       null;
  22    end Test_Access_Image;
  23
  24 begin
  25    Test_Access_Image;
  26 end Subp_Inst;