1package body Inline10_Pkg is
2
3  procedure Test (I : Integer) is
4
5    function F (J : Integer) return Integer is
6    begin
7      return I - J;
8    end;
9    pragma Inline (F);
10
11    type FPT is access function (I : Integer) return Integer;
12
13    P : FPT := F'Access;
14
15  begin
16    if I /= P (I) then
17      raise Program_Error;
18    end if;
19  end;
20
21end Inline10_Pkg;
22