Integrated: fixing bugs in inference and type system more regression tests

Fri Feb 18 17:26:16 UTC 2022

On Fri, 18 Feb 2022 00:55:43 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> this PR is adapting Types::glb so that it can deal with primitive classes. It also fixes a bug in inference, basically we are now failing during overload resolution if any undetVar has a bound that is a primitive class. But a bug was making inference fail after overload resolution in some cases.

This pull request has now been integrated.

Changeset: aef8323a
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.java.net/valhalla/commit/aef8323a3355b1ed3f00a07907054fca8ea8339f
Stats:     44 lines in 4 files changed: 36 ins; 1 del; 7 mod

fixing bugs in inference and type system more regression tests

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

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