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

thanks for the review!

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

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