RFR: 8334757: AssertionError: Missing type variable in where clause

[Jan Lahoda]

On Sat, 22 Jun 2024 01:10:01 GMT, Liam Miller-Cushon <cushon at openjdk.org> wrote:

> Please consider this fix for [JDK-8334757](https://bugs.openjdk.org/browse/JDK-8334757).
> 
> This adds a missing case to argument preprocessing in `RichDiagnosticFormatter` to handle the `JCDiagnostic.AnnotatedType` wrapper types, which avoids a crash when types with type variables appear as arguments for diagnostics that use `JCDiagnostic.AnnotatedType`.
> 
> The wrapper type was introduced by [JDK-8291643](https://bugs.openjdk.org/browse/JDK-8291643) and is only used by the diagnostics introduced in [JDK-8043226](https://bugs.openjdk.org/browse/JDK-8043226), so backing out JDK-8043226 could also be considered.

Looks sensible to me. Thanks!

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

Marked as reviewed by jlahoda (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/19840#pullrequestreview-2151699644