gcc/testsuite/gnat.dg/access9.adb

   1 --  { dg-do run }
   2
   3 procedure Access9 is
   4
   5   type A_Type is access procedure;
   6
   7   type B_Type is new A_Type;
   8
   9   procedure Invoke (B : B_Type) is
  10   begin
  11     B.all;
  12   end;
  13
  14   procedure Nested is begin null; end;
  15
  16   A : A_Type := Nested'Access;
  17
  18 begin
  19   Invoke (B_Type (A));
  20 end;