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

[Jan Lahoda]

On Mon, 26 Jan 2026 11:49:53 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> Jan Lahoda has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Attempting to use the number of 'base checks' as the limit, instead of wall-clock time.
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/resources/compiler.properties line 43:
> 
>> 41: # option name       the name of a command line option
>> 42: # path              a path
>> 43: # patter            a pattern/pattern description
> 
> Suggestion:
> 
> # pattern            a pattern/pattern description

Cleaned (the pattern is now removed, as fragments are used anyway).

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

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