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

[Vicente Romero]

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

thanks!

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

PR: https://git.openjdk.java.net/jdk/pull/6009