RFR: universal type variables: initial prototype [v3]

Maurizio Cimadamore mcimadamore at openjdk.java.net
Tue Aug 10 21:31:43 UTC 2021

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

More information about the valhalla-dev mailing list