On Tue, 9 Jul 2024 20:16:11 GMT, Jonathan Gibbons wrote:
> This needs to be coordinated with @hns who is working on similar issues. He
> is currently OOTO, but will be back soon.
@hns are you back in town? Any thoughts/comments? Thanks.
-
PR Comment: https://git.openjdk.org/jdk/pu
> `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
