gcc/testsuite/gnat.dg/self1.adb

   1 --  { dg-do compile }
   2
   3 procedure Self1 is
   4    type Event;
   5
   6    type Link (E : access Event) is limited record
   7       Val : Integer;
   8    end record;
   9
  10    type Ptr is access all Event;
  11
  12    type Event is tagged limited record
  13       Inner : Link (Event'access);
  14       Size  : Integer;
  15    end record;
  16
  17    Obj2 : Ptr := new Event'(Inner => (Event'access, 15),
  18                             Size => Link'size);
  19 begin
  20    null;
  21 end;