Sema: always allow coercing error set to current inferred error set

1 files changed, 15 insertions, 0 deletions

diff --git a/test/behavior/error.zig b/test/behavior/error.zig
index 93d76443ae..e6c69f4abf 100644
--- a/test/behavior/error.zig
+++ b/test/behavior/error.zig
@@ -634,3 +634,18 @@ test "peer type resolution of two different error unions" {
     const err = if (cond) a else b;
     try err;
 }
+
+test "coerce error set to the current inferred error set" {
+    const S = struct {
+        fn foo() !void {
+            var a = false;
+            if (a) {
+                const b: error{A}!void = error.A;
+                return b;
+            }
+            const b = error.A;
+            return b;
+        }
+    };
+    S.foo() catch {};
+}