RFR: addressing several issues in the implementation of universal tvars [v9]

[Maurizio Cimadamore]

On Wed, 8 Jun 2022 17:06:58 GMT, Vicente Romero <vromero at openjdk.org> wrote:

>> Last review iteration found several issues in the current implementation, addressing them here
>
> Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:
> 
>   removing additional code from isSubtype visitors

test/langtools/tools/javac/valhalla/lworld-values/universal-type-variables/UniversalTVarsCompilationTests.java line 671:

> 669:                     T.ref field;
> 670:                     void foo(T t, Consumer<? super T> action) {
> 671:                         action.accept(field = t);

Why does this fail? Aren't the two types identical (modulo ref/val) ?

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

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