gcc/testsuite/gnat.dg/renaming10.adb

   1 -- { dg-do compile }
   2
   3 package body Renaming10 is
   4
   5    function F (Input : Rec) return Natural is
   6       Position : Natural renames Input.Position;
   7       Index : Natural renames Natural'Succ(Position);
   8    begin
   9       return Index;
  10    end;
  11
  12 end Renaming10;