diagnostics for non-applicable type annotations

[Liam Miller-Cushon]

Thanks Maurizio,
>
> * can this error only be issues when there is a bad type annotation in a
> qualified type? If not, then the latter part of the message might be
> reaching too far
>
That is the intent. The diagnostic should only be emitted on a
JCAnnotatedType if the name is qualified and the type can be resolved, and
if the annotations are type annotations.

> * in other places we have messages like "XYZ not expected here" - perhaps
> might be useful to provide more consistent diagnostics
> * Not sure about seeing @TA in the error message after "locaton: " - in
> the sense that the message seems to suggest that what's coming next (after
> the colon) is a location, not the actual annotation?
>
> <https://ece.uwaterloo.ca/~wdietl/>
>>
> Thanks, great points. Perhaps showing the specific annotations inline
would be clearer, combined with the 'not expected here' language that could
result in something like:

 type annotation @TA is not expected here
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/compiler-dev/attachments/20240502/27f27032/attachment.htm>