sema: fix error_return_trace_index handling in zirCondBr

1 files changed, 19 insertions, 0 deletions

diff --git a/test/behavior/error.zig b/test/behavior/error.zig
index aa39b685ca..d74a7668a9 100644
--- a/test/behavior/error.zig
+++ b/test/behavior/error.zig
@@ -1090,3 +1090,22 @@ test "compare error union to error set" {
     try S.doTheTest(0);
     try comptime S.doTheTest(0);
 }
+
+test "'if' ignores error via local while 'else' ignores error directly" {
+    const S = struct {
+        /// This function is intentionally fallible despite never returning an
+        /// error so that it participates in error return tracing.
+        fn testOne(cond: bool) !void {
+            if (cond) {
+                const result = notError();
+                result catch {};
+            } else {
+                notError() catch {};
+            }
+        }
+        fn notError() error{E}!void {}
+    };
+
+    try S.testOne(false);
+    try S.testOne(true);
+}