RFR: universal type variables: initial prototype [v3]

[Vicente Romero]

On Tue, 10 Aug 2021 21:22:34 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   second iteration of review comments
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java line 3617:
> 
>> 3615:                         from.head.hasTag(TYPEVAR) &&
>> 3616:                         ((TypeVar)from.head).projection != null &&
>> 3617:                         t.equalsIgnoreMetadata(((TypeVar)from.head).projection)) {
> 
> and here, we should call `referencceProjection()` ?

yep I agree

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

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