Integrated: Downgrade subtyping/cast failures from errors to warnings
Maurizio Cimadamore
mcimadamore at openjdk.org
Fri Jan 9 09:57:24 UTC 2026
On Thu, 8 Jan 2026 19:11:03 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:
> This PR reverts all changes to subtyping and cast conversion, meaning that assigning `null` to a null-restricted type is no longer an error.
> I've resurrected the lint `null` category, to issue a warning in such cases.
>
> There's some stuff left to do, as I realized that the compiler swallows null markers when emitting diagnostics. This is due to a conundrum in the diagnostic formatter calling `stripMetadata`, and that resulting in _all_ metadata (not just type annos) to be lost.
This pull request has now been integrated.
Changeset: 09204505
Author: Maurizio Cimadamore <mcimadamore at openjdk.org>
URL: https://git.openjdk.org/valhalla/commit/092045052619c33bcbdee3f25d900ab8b516c4f9
Stats: 208 lines in 11 files changed: 138 ins; 49 del; 21 mod
Downgrade subtyping/cast failures from errors to warnings
Reviewed-by: vromero
-------------
PR: https://git.openjdk.org/valhalla/pull/1872
More information about the valhalla-dev
mailing list