Integrated: Add inference support for nullable types

[Maurizio Cimadamore]

On Fri, 23 Aug 2024 13:40:06 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This PR adds basic support for inference of generic method calls with nullabe types.
> 
> To do that, we enhance both `lub` and `glb` to take nullness markers into account.
> 
> Some tweaks were required to make the inference machinery *not* discard seemingly equivalent types such as `String!` and `String?`.

This pull request has now been integrated.

Changeset: 831c9fc0
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/valhalla/commit/831c9fc009316758a0724a4a7702ff32932c3ed2
Stats:     102 lines in 6 files changed: 88 ins; 0 del; 14 mod

Add inference support for nullable types

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

PR: https://git.openjdk.org/valhalla/pull/1221