RFR: universal type variables: initial prototype [v3]

[Vicente Romero]

On Tue, 10 Aug 2021 21:13:10 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/comp/Attr.java line 4600:
> 
>> 4598:                 throw new AssertionError(tree);
>> 4599:             case TYPEVAR:
>> 4600:                 if (allowUniversalTVars && name == names.ref && ((TypeVar)site).isValueProjection()) {
> 
> This should be `isUniversal()` ?

yep u are right

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

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