Integrated: Add option to disable parametric nullness by default

[Maurizio Cimadamore]

On Fri, 23 Aug 2024 16:22:03 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This PR adds an option to disable parametric nullness by default, namely `-XDtvarUnspecifiedNullity`.
> 
> This option alters the behavior of the various nullness predicates (which have now been moved to `Types`).
> 
> Now we consult parametric nullity in two places:
> * when we compute the type of some generic class member (`Types::memberType`)
> * when we collect bounds for inference variables.
> 
> If parameteric nullness is disabled, we simply drop nullness markers on the floor.

This pull request has now been integrated.

Changeset: 7b6967a2
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/valhalla/commit/7b6967a2c8decba3a7c0cd3e5c85646da9b6de12
Stats:     157 lines in 15 files changed: 85 ins; 36 del; 36 mod

Add option to disable parametric nullness by default

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

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