1-- { dg-do compile }
2
3package 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
12end Renaming10;
13