gcc/testsuite/gnat.dg/taft_type2.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-g" }
   3
   4 with Taft_Type2_Pkg; use Taft_Type2_Pkg;
   5
   6 package body Taft_Type2 is
   7
   8    procedure Proc is
   9       A : T;
  10
  11       function F return T is
  12          My_T : T;
  13       begin
  14          My_T := Open;
  15          return My_T;
  16       end;
  17
  18    begin
  19       A := F;
  20    end;
  21
  22 end Taft_Type2;