Integrated: 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

This pull request has now been integrated.

Changeset: fd10f199
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/fd10f1996ef94529b5b12e547957cd904ade1956
Stats:     14 lines in 2 files changed: 13 ins; 0 del; 1 mod

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

Reviewed-by: jlahoda

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

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