On Fri, 9 Jan 2026 23:35:35 GMT, Vicente Romero <[email protected]> wrote:
> javac should generate a null check for code like:
>
>
> class Test {
> public static void main(String... args) {
> Object s = null;
> Object o = (String & Runnable!) s; // NPE, cast
> }
> }
>
> the idea of the fix is to consider an intersection null restricted if at
> least one of its components is null restricted
This pull request has now been integrated.
Changeset: b0e093b8
Author: Vicente Romero <[email protected]>
URL:
https://git.openjdk.org/valhalla/commit/b0e093b8b98c926e5322ad5b5ebcef767e17ab85
Stats: 18 lines in 2 files changed: 18 ins; 0 del; 0 mod
generate null checks for intersections for which at least one component is null
restricted
Reviewed-by: mcimadamore
-------------
PR: https://git.openjdk.org/valhalla/pull/1881
