gcc/testsuite/gnat.dg/limited1_inner.ads

   1 with Ada.Finalization;
   2 package Limited1_Inner is
   3    type Limited_Type is new Ada.Finalization.Limited_Controlled with record
   4       Self : access Limited_Type := Limited_Type'Unchecked_Access;
   5    end record;
   6    overriding procedure Finalize (X : in out Limited_Type);
   7
   8    type Inner_Type (What : Boolean) is record
   9       case What is
  10          when False =>
  11             null;
  12          when True =>
  13             L : Limited_Type;
  14       end case;
  15    end record;
  16
  17    function Make_Inner return Inner_Type;
  18 end;