Integrated: 8266645: javac should not check for sealed supertypes in intersection types

[Vicente Romero]

On Thu, 6 May 2021 20:19:28 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> While trying to convert the hierarchy under package java.lang.constant to a sealed one we discovered that the compiler was issuing an error for intersection types when at least one of the types is sealed. The reason for this is that javac creates a synthetic anonymous class that extends and implements the classes and interfaces in the intersection type and then it attributes that synthetic class. The current implementation for sealed classes then issues an error for this anonymous class. The fix is to do not check for sealed supertypes for classes with an intersection type.
> 
> TIA

This pull request has now been integrated.

Changeset: 946b0fe1
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/946b0fe19a8af88a0f0451c86ce4d4790360bb83
Stats:     29 lines in 2 files changed: 20 ins; 6 del; 3 mod

8266645: javac should not check for sealed supertypes in intersection types

Reviewed-by: mcimadamore

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

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