gcc/testsuite/gnat.dg/incomplete3.adb

   1 -- { dg-do compile }
   2
   3 package body Incomplete3 is
   4
   5    function Get_Tracer (This : access Output_T'Class) return Tracer_T'class is
   6    begin
   7       return Tracer_T'Class (Tracer_T'(Output => This));
   8    end ;
   9
  10    function Get_Output (This : in Tracer_T) return access Output_T'Class is
  11    begin
  12       return This.Output;
  13    end;
  14
  15 end Incomplete3;