1-- { dg-do compile }
2-- { dg-options "-gnatws" }
3
4with Ada.Finalization; use Ada.Finalization;
5procedure finalized is
6   type Rec is new Controlled with null record;
7   Obj : access Rec := new Rec'(Controlled with null record);
8begin
9   null;
10end;
11