RFR: 8275302: unexpected compiler error: cast, intersection types and sealed

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