RFR: 8359596: Behavior change when both -Xlint:options and -Xlint:-options flags are given [v2]

[Maurizio Cimadamore]

On Mon, 23 Jun 2025 20:55:13 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> Yeah, I think for now I'd prefer that. I believe each PR should be relatively standalone -- maybe we will go ahead and follow up with the other PR, but I'd prefer to avoid adding more stuff here which is really needed to support that other task.

Especially considering this is a fix that is also targeting 25 (now in rampdown mode), so there's extra motivations for keeping the fix as small as possible.

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

PR Comment: https://git.openjdk.org/jdk/pull/25840#issuecomment-2999769986