gcc/testsuite/gnat.dg/specs/ai_116.ads

   1 --  { dg-do compile }
   2
   3 with Ada.Finalization; use Ada;
   4 package ai_116 is
   5    pragma Preelaborate;
   6    type Buffer_Type is limited interface;
   7
   8    type Handle is new Finalization.Limited_Controlled and Buffer_Type with
   9      private;
  10    pragma Preelaborable_Initialization(Handle);
  11
  12    type Ptr is access all String;
  13    Null_Handle : constant Handle;
  14
  15 private
  16    type Handle is new Finalization.Limited_Controlled and Buffer_Type with
  17       record
  18          Data     : Ptr  := null;
  19       end record;
  20
  21    Null_Handle : constant Handle :=
  22      (Finalization.Limited_Controlled with Data => null);
  23 end ai_116;