controlled initialization

[Maxim Reznik <max1@mbank.com.ua>]

Hi!
Can you help me?
I'm stuck with following example.

I expected statement
  return Statement'(Ada.Finalization.Controlled with C => 0);
created object of type Statement,
then Initialyze procedure would be called for it and
Put_Line printed "Init".

But when I compile program with GNAT 3.15p for Linux
it doesn't happen.

May be it's bug of GNAT?

Thank you

Maxim Reznik

------------------------------------
with Ada.Finalization;
package Tests is

    type Statement is new Ada.Finalization.Controlled with record
       C : Integer;
    end record;

    procedure Initialize (Item : in out Statement);

    subtype Class is Ada.Finalization.Controlled'Class;

    function Create_Statement return Class;

end Tests;

------------------------------------
with Ada.Text_IO;
package body Tests is

    procedure Initialize (Item : in out Statement) is
    begin
       Ada.Text_IO.Put_Line ("Init");
    end Initialize;

    function Create_Statement return Class is
    begin
       return Statement'(Ada.Finalization.Controlled with C => 0);
    end Create_Statement;

end Tests;

------------------------------------
with Tests;
procedure Test is

    use Tests;

    Object : Class := Create_Statement;
begin
    null;
end Test;