RFR: addressing several issues in the implementation of universal tvars [v6]

[Vicente Romero]

On Tue, 7 Jun 2022 14:39:04 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   adding structural type comparator to detect unchecked conversions
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java line 1201:
> 
>> 1199:             public Boolean visitClassType(ClassType t, Type s) {
>> 1200:                 // If t is an intersection, sup might not be a class type
>> 1201:                 if (!t.hasTag(CLASS)) return visit(t, s);
> 
> if tags are different, the two types are not structurally comparable - this seems a leftover from subtyping

sure

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

PR: https://git.openjdk.java.net/valhalla/pull/684