RFR: 8343306: javac is failing to determine disjoint-ness between a class and a sealed interface [v3]

[Vicente Romero]

On Thu, 31 Oct 2024 18:50:11 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> The new code looks great. I pulled up the new file and read the code side by side with the spec and was very pleased with the easy-to-spot symmetry. Thanks!

yes I agree that the code looks much better now, thanks for the suggestion

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

PR Comment: https://git.openjdk.org/jdk/pull/21794#issuecomment-2450611743