On Sun, 4 Feb 2024 23:10:11 GMT, Luca Kellermann <d...@openjdk.org> wrote:
> My guess to why this is happening is that `com.sun.tools.javac.code.Flags` > has the same value for both `SEALED` and `RESTRICTED`. If this is the reason, then https://github.com/openjdk/jdk/pull/15964 is probably the real cause. `Flags.RESTRICTED` was added in that PR. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16188#issuecomment-1926100762
