From ba549a7d67d0268cdbd4b23a5b7371de4f2d8d33 Mon Sep 17 00:00:00 2001
From: Justus Klausecker <justus@klausecker.de>
Date: Thu, 10 Jul 2025 01:58:02 +0200
Subject: Add support for both '_' and 'else' prongs at the same time in switch
 statements If both are used, 'else' handles named members and '_' handles
 unnamed members. In this case the 'else' prong will be unrolled to an
 explicit case containing all remaining named values.

---
 test/behavior/switch_loop.zig | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

(limited to 'test/behavior/switch_loop.zig')

diff --git a/test/behavior/switch_loop.zig b/test/behavior/switch_loop.zig
index d2e967e4c7..1d82957d39 100644
--- a/test/behavior/switch_loop.zig
+++ b/test/behavior/switch_loop.zig
@@ -249,3 +249,27 @@ test "switch loop on larger than pointer integer" {
     }
     try expect(entry == 3);
 }
+
+test "switch loop on non-exhaustive enum" {
+    if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
+    if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
+    if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
+    if (builtin.zig_backend == .stage2_spirv) return error.SkipZigTest; // TODO
+
+    const S = struct {
+        const E = enum(u8) { a, b, c, _ };
+
+        fn doTheTest() !void {
+            var start: E = undefined;
+            start = .a;
+            const result: u32 = s: switch (start) {
+                .a => continue :s .c,
+                else => continue :s @enumFromInt(123),
+                .b, _ => |x| break :s @intFromEnum(x),
+            };
+            try expect(result == 123);
+        }
+    };
+    try S.doTheTest();
+    try comptime S.doTheTest();
+}
-- 
cgit v1.2.3