[jdk16] RFR: 8258972: unexpected compilation error with generic sealed interface [v3]

[Vicente Romero]

On Mon, 4 Jan 2021 21:29:19 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

>> Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   adding missing calls to Types::erasure
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java line 1670:
> 
>> 1668:     // where
>> 1669:         private boolean areDisjoint(ClassSymbol ts, ClassSymbol ss) {
>> 1670:             if (isSubtype(erasure(ts.type), erasure(ss.type))) {
> 
> There is another `isSubtype` below - could you please check if it needs the same erasure handling?

I agree, done

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

PR: https://git.openjdk.java.net/jdk16/pull/72