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