Integrated: type of TypeVar.ref is incorrect and should be fixed

Fri Feb 25 18:03:15 UTC 2022

On Wed, 23 Feb 2022 20:44:36 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> The type of TypeVar.ref is incorrect and should be fixed, in particular due to a bug, the compiler is not able to differentiate between  `T` and `T.ref` which should have a different type

This pull request has now been integrated.

Changeset: 8841a648
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.java.net/valhalla/commit/8841a6485dd1c382b2f0f43edc089405d3daac6b
Stats:     117 lines in 2 files changed: 66 ins; 20 del; 31 mod

type of TypeVar.ref is incorrect and should be fixed

Reviewed-by: mcimadamore

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

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