RFR: JDK-8281169: Expand discussion of elements and types [v3]

[Joe Darcy]

On Wed, 16 Aug 2023 14:38:25 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

>> Joe Darcy has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains seven additional commits since the last revision:
>> 
>>  - Implement review feedback.
>>  - Merge branch 'master' into JDK-8281169
>>  - Iteration of spec update.
>>  - Merge branch 'master' into JDK-8281169
>>  - Checkpoint intermediate state.
>>  - Merge branch 'master' into JDK-8281169
>>  - JDK-8281169: Expand discussion of elements and types
>
> src/java.compiler/share/classes/javax/lang/model/package-info.java line 122:
> 
>> 120:  * the declaration. Otherwise, for a non-generic class or interface,
>> 121:  * the prototypical type mirror corresponds to an unannotated use of
>> 122:  * the type.)
> 
> Perhaps I'm not quite following it, but why juxtapose "default" parameterization with being unannotated? I assume, for a generic class or interface, the prototypical type is also unannotated, no?

I assume Maurizio suggested mentioning annotations given that they were discussed as one reason uses need separate objects.

Adding a note that the other case is unannotated as well.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/15097#discussion_r1296180422