1 files changed, 37 insertions, 0 deletions
diff --git a/tests/features1920/java20/SwitchPatternPreview4Error.java b/tests/features1920/java20/SwitchPatternPreview4Error.java
new file mode 100644
index 000000000..a682c15c4
--- /dev/null
+++ b/tests/features1920/java20/SwitchPatternPreview4Error.java
@@ -0,0 +1,37 @@
+/**
+ * This used to work up to preview 3 (Java 19), but no longer in preview 4 (Java 20).
+ * Now, the default case seems to need to be the last one in the list.
+ *
+ * Javac says 4x: "this case label is dominated by a preceding case label"
+ *
+ * ECJ/AJC says 11x: "This case label is dominated by one of the preceding case label" (yes, "label" singular)
+ * See https://github.com/eclipse-jdt/eclipse.jdt.core/issues/919.
+ */
+public class SwitchPatternPreview4Error {
+  static void defaultCanAppearBeforePattern(Integer i) {
+    switch (i) {
+      case null -> System.out.println("value unavailable: " + i);
+      case -1, 1 -> System.out.println("absolute value 1: " + i);
+      default -> System.out.println("other integer: " + i);
+      case Integer value when value > 0 -> System.out.println("positive integer: " + i);
+    }
+  }
+
+  static void defaultCanAppearBeforeNull(Integer i) {
+    switch (i) {
+      case -1, 1 -> System.out.println("absolute value 1: " + i);
+      default -> System.out.println("other integer: " + i);
+      case null -> System.out.println("value unavailable: " + i);
+      case Integer value when value > 0 -> System.out.println("positive integer: " + i);
+    }
+  }
+
+  static void defaultCanAppearBeforeConstantLabel(Integer i) {
+    switch (i) {
+      case null -> System.out.println("value unavailable: " + i);
+      default -> System.out.println("other integer: " + i);
+      case -1, 1 -> System.out.println("absolute value 1: " + i);
+      case Integer value when value > 0 -> System.out.println("positive integer: " + i);
+    }
+  }
+}