From a72cf56a05083d8a929a7c4e3ab384c139e0504a Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Thu, 12 Feb 2026 10:33:58 +0100 Subject: [PATCH] Java: Accept dispatch precision improvement. --- .../switch-default-impossible-dispatch/Test.java | 4 ++-- .../switch-default-impossible-dispatch/test.expected | 2 -- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/java/ql/test/library-tests/switch-default-impossible-dispatch/Test.java b/java/ql/test/library-tests/switch-default-impossible-dispatch/Test.java index 9e0a0443131..7c00a71021e 100644 --- a/java/ql/test/library-tests/switch-default-impossible-dispatch/Test.java +++ b/java/ql/test/library-tests/switch-default-impossible-dispatch/Test.java @@ -25,7 +25,7 @@ public class Test { switch(i) { case C1 c1 -> { } - case null, default -> i.take(source()); // Can't call C1.take (but we don't currently notice) + case null, default -> i.take(source()); // Can't call C1.take } switch(i) { @@ -55,7 +55,7 @@ public class Test { switch(i) { case C1 c1: break; - case null: default: i.take(source()); // Can't call C1.take (but we don't currently notice) + case null: default: i.take(source()); // Can't call C1.take } switch(i) { diff --git a/java/ql/test/library-tests/switch-default-impossible-dispatch/test.expected b/java/ql/test/library-tests/switch-default-impossible-dispatch/test.expected index 14329ea1089..f95dc4ee946 100644 --- a/java/ql/test/library-tests/switch-default-impossible-dispatch/test.expected +++ b/java/ql/test/library-tests/switch-default-impossible-dispatch/test.expected @@ -5,7 +5,6 @@ | Test.java:23:25:23:32 | source(...) | Test.java:8:65:8:65 | x | | Test.java:23:25:23:32 | source(...) | Test.java:9:74:9:74 | x | | Test.java:23:25:23:32 | source(...) | Test.java:10:82:10:82 | x | -| Test.java:28:36:28:43 | source(...) | Test.java:7:65:7:65 | x | | Test.java:28:36:28:43 | source(...) | Test.java:8:65:8:65 | x | | Test.java:28:36:28:43 | source(...) | Test.java:9:74:9:74 | x | | Test.java:28:36:28:43 | source(...) | Test.java:10:82:10:82 | x | @@ -26,7 +25,6 @@ | Test.java:53:25:53:32 | source(...) | Test.java:8:65:8:65 | x | | Test.java:53:25:53:32 | source(...) | Test.java:9:74:9:74 | x | | Test.java:53:25:53:32 | source(...) | Test.java:10:82:10:82 | x | -| Test.java:58:34:58:41 | source(...) | Test.java:7:65:7:65 | x | | Test.java:58:34:58:41 | source(...) | Test.java:8:65:8:65 | x | | Test.java:58:34:58:41 | source(...) | Test.java:9:74:9:74 | x | | Test.java:58:34:58:41 | source(...) | Test.java:10:82:10:82 | x |