From d5e3d5d74cefd64287b92d148f78353cdb84e447 Mon Sep 17 00:00:00 2001
From: Veikka Tuominen <git@vexu.eu>
Date: Tue, 7 Jun 2022 16:19:21 +0300
Subject: Sema: make `analyzeIsNonErr` even lazier for inferred error sets

---
 test/behavior/error.zig | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

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

diff --git a/test/behavior/error.zig b/test/behavior/error.zig
index b735d70d73..0fedd7dff0 100644
--- a/test/behavior/error.zig
+++ b/test/behavior/error.zig
@@ -754,3 +754,18 @@ test "error union payload is properly aligned" {
     const blk = S.foo() catch unreachable;
     if (blk.a != 1) unreachable;
 }
+
+test "ret_ptr doesn't cause own inferred error set to be resolved" {
+    if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
+
+    const S = struct {
+        fn foo() !void {}
+
+        fn doTheTest() !void {
+            errdefer @compileError("bad");
+
+            return try @This().foo();
+        }
+    };
+    try S.doTheTest();
+}
-- 
cgit v1.2.3