Subprograms may be expanded in line at the call site.
For a callable entity
or a generic subprogram, the following language-defined representation
aspect may be specified:
The type of aspect Inline is Boolean. When aspect Inline is True for
a callable entity, inline expansion is desired for all calls to that
entity. When aspect Inline is True for a generic subprogram, inline expansion
is desired for all calls to all instances of that generic subprogram.
If directly specified, the aspect_definition
shall be a static expression. This aspect is never inherited; if not
directly specified, the aspect is False.
For each call, an implementation is free to follow
or to ignore the recommendation determined by the Inline aspect.