RFR: universal type variables: initial prototype [v3]

[Vicente Romero]

On Tue, 10 Aug 2021 21:12:53 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 5149:
> 
>> 5147:             argTypes2 = argTypes = attribAnyTypes(args, env);
>> 5148:             for (Type t : ((ClassType) clazztype.tsym.type).typarams_field) {
>> 5149:                 argTypes.head = chk.checkRefType(args.head.pos(), argTypes.head, ((TypeVar) t).isValueProjection());
> 
> this should be `isUniversal()`, no?

yep will change it

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

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