1-- { dg-do compile }
2
3package 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
15end Incomplete3;
16