[foreign-memaccess+abi] RFR: 8312059: Clarify the documention for variadic functions [v3]

[Jorn Vernee]

On Fri, 14 Jul 2023 17:36:51 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

>> src/java.base/share/classes/java/lang/foreign/Linker.java line 424:
>> 
>>> 422:  * whereby the signed-ness of the source type corresponds to the signed-ness of the promoted type. The complete process
>>> 423:  * of default argument promotion is described in the C specification. In effect these promotions place limits on the
>>> 424:  * types that can be used to replace the {@code ...}, as the variadic parameters of the specialized form will always
>> 
>> specialized form -> specialized function? (this was there even before, but I'm not sure "form" is too clear given previous terminology)
>
> Note that we use 'specialized form' in the following paragraph as well. I think it's more accurate than specialized function though, since it's the 'specialized form' of a variadic function, rather than a separate specialized function.

Rephrased this as "as the variadic parameters of the specialized form of a variadic function will always have a promoted type."

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

PR Review Comment: https://git.openjdk.org/panama-foreign/pull/846#discussion_r1263986809