On Fri, 9 May 2025 21:09:46 GMT, Chen Liang <li...@openjdk.org> wrote:
> I think if we do that, we should encapsulate `option` and move all access, > such as `option.isSet`, to dedicated methods on `LintCategory`. We are a bit > short on time for this, so IMO our best approach is to open a followup issue > that we can work on for 26 given the short time to RDP1. That's why I was offering my existing patch which basically does that already. But it's OK to wait if you prefer. ------------- PR Comment: https://git.openjdk.org/jdk/pull/24746#issuecomment-2867906064
