1-- { dg-do compile } 2 3with Ada.Finalization; 4package preelab is 5 type T is limited private; 6 pragma Preelaborable_Initialization (T); 7private 8 type T is new Ada.Finalization.Limited_Controlled with null record; 9end preelab; 10