On Thu, 8 Jan 2026 19:11:03 GMT, Maurizio Cimadamore <[email protected]> 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. Marked as reviewed by vromero (Committer). lgtm ------------- PR Review: https://git.openjdk.org/valhalla/pull/1872#pullrequestreview-3641593052 Marked as reviewed by vromero (Committer). PR Review: https://git.openjdk.org/valhalla/pull/1872#pullrequestreview-3641594052
