On Fri, 9 May 2025 21:06:09 GMT, Archie Cobbs <aco...@openjdk.org> wrote:
> Do we care about that? If so then we might want to implement a proper fix for > lint aliases as a separate pre-requisite to this issue. 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. ------------- PR Comment: https://git.openjdk.org/jdk/pull/24746#issuecomment-2867884046
