RFR: 8275302: unexpected compiler error: cast, intersection types and sealed
Jan Lahoda
jlahoda at openjdk.java.net
Tue Oct 19 16:12:52 UTC 2021
On Tue, 19 Oct 2021 13:43:53 GMT, Vicente Romero <vromero at openjdk.org> wrote:
> Please review this fix which is syncing the compiler with the sealed classes spec. Basically the compiler is failing to accept as valid a cast when the type to be cast is an intersection type, even when all the checks mandated by the spec has been done.
>
> TIA
Looks good to me.
-------------
Marked as reviewed by jlahoda (Reviewer).
PR: https://git.openjdk.java.net/jdk/pull/6009
More information about the compiler-dev
mailing list