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