gcc/testsuite/gnat.dg/discr37.adb

   1 -- { dg-do compile }
   2
   3 package body Discr37 is
   4
   5   procedure Proc (A : access Child) is
   6     B : Derived renames Derived (A.F(1).all);
   7     C : Derived renames Derived (B.S(1).all);
   8   begin
   9     null;
  10   end;
  11
  12 end Discr37;