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

[Adam Sotona]

On Fri, 19 Jul 2024 01:55:57 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.

Looks good to me.

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

Marked as reviewed by asotona (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/20247#pullrequestreview-2188296784