RFR: 8367530: The exhaustiveness errors could be improved [v13]

[Jan Lahoda]

On Mon, 26 Jan 2026 12:00:01 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> That said, in Rich formatter we also need to preprocess, so perhaps keeping the code as is here would be more symmetric...
>
> I suppose overall I'm not entirely sure if, at this point, pattern descriptions should be pattern descriptions, or already translated into some kind of fragment -- because the code in formatters can deal with fragments recursively very well -- but can do less so with objects.

I tried to convert to fragments, feels better now - thanks!

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

PR Review Comment: https://git.openjdk.org/jdk/pull/27256#discussion_r2732834629