RFR: universal type variables: initial prototype [v3]

[Maurizio Cimadamore]

On Tue, 10 Aug 2021 19:10:14 GMT, Vicente Romero <vromero at openjdk.org> wrote:

>> First iteration of the protype for universal type variables
>
> 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/Type.java line 1962:

> 1960:         }
> 1961: 
> 1962:         public TypeVar(Name name, Symbol owner, Type lower, boolean isUniversal, boolean isReferenceProjection) {

This constructor probably should not take the `isReferenceProjection` as this one creates a new tsym and you want the reference projection to share the same symbol - so you probably are always passing `false` here.

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

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