Attention des changements sont bientôt à prévoir sur l'instance gitea d'Aurore :
-- { dg-do compile }
-- { dg-options "-O -gnatn -Winline" }
with Inline11_Pkg; use Inline11_Pkg;
procedure Inline11 is
begin
Trace (0);
end;