Does `pragma inline` work when instantiating generic code?

[EGarrulo <egarrulo@gmail.com>]

Assuming this generic code (see the comment in the second file):

------ negate.ads ------

generic
   with function Predicate return Boolean;
function Negate return Boolean;

------ negate.adb ------

function Negate return Boolean is
begin
   return not Predicate; -- ##### Will the compiler inline this call? ######
end Negate;

------ test.adb ------

procedure Test is
   function My_Predicate return Boolean is begin
     return True;
   end My_Predicate;

   pragma inline(My_Predicate);

   function My_Not_Predicate is new Negate (My_Predicate);
   
   X : Boolean := My_Not_Predicate;
begin
   null;
end Test;

------------------------


Thank you.