Re: Initialization and Finalization of limited object "returned" by a function

["Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>]

procedure D is
   -- Variation from C : the returned type
   -- is now a derived type.
   -- Observations : all is nice (be patient,
   -- troubles will comes soon enough).

   package P is
      type Limited_Type is tagged limited null record;
      subtype Limited_Class is Limited_Type'Class;
      function New_Limited return Limited_Class;
   end P;

   package body P is
      type Derived_Limited_Type is
         new Limited_Type with null record;

      function New_Derived return Derived_Limited_Type is
      begin
         return R : Derived_Limited_Type do
            null;
         end return;
      end;

      function New_Limited return Limited_Class is
      begin
         return R : Limited_Class := New_Derived do
            null;
         end return;
      end;
   end P;

   Entity : P.Limited_Class := P.New_Limited;

begin
   null;
end D;