gcc/testsuite/gnat.dg/renaming10.adb


1
2
3
4
5
6
7
8
9
10
11
12

-- { dg-do compile }

package body Renaming10 is

   function F (Input : Rec) return Natural is
      Position : Natural renames Input.Position;
      Index : Natural renames Natural'Succ(Position);
   begin
      return Index;
   end;

end Renaming10;