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

[Vicente Romero]

On Wed, 8 Jun 2022 14:51:12 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   merging StructuralTypeComparator and TypeArgStructComparator
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java line 1378:
> 
>> 1376:         SubtypingRelation isSubtypeRelation = new SubtypingRelation();
>> 1377:         class SubtypingRelation extends TypeRelation {
>> 1378:             SubtypingRelationKind param;
> 
> What is this needed for? We should get into a position where subtyping is "just" subtyping, no need for having some kind of mode flag - unless I'm misunderstanding something?

yep I will tackle that now, if I recall correctly I tried to removed it but there where other changes in areas a bit distant from the visitors that's why I didn't go for it in a first step

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

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