RFR: 8336754: Remodel TypeAnnotation to "has" instead of "be" an Annotation [v2]

[Chen Liang]

On Mon, 22 Jul 2024 16:42:06 GMT, Chen Liang <liach at openjdk.org> wrote:

>> `TypeAnnotation` is not an annotation, as it should not be used in places like `AnnotationValue.ofAnnotation`. Thus it's remodeled to contain an annotation at a given location instead of to be an annotation.
>> 
>> Depends on #20205.
>
> Chen Liang has updated the pull request with a new target base due to a merge or a rebase.

Unfortunately had to force push: the old commit histories now cause conflicts, so I had squashed them into one and applied onto the latest master.

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

PR Comment: https://git.openjdk.org/jdk/pull/20247#issuecomment-2245592977