From 5d28d171dffd5a03276e04ec7089593e967630df Mon Sep 17 00:00:00 2001
From: Veikka Tuominen <git@vexu.eu>
Date: Sat, 5 Nov 2022 12:51:32 +0200
Subject: Sema: adjust result type of anyerror field access

Closes #13448
---
 test/behavior/error.zig | 10 ++++++++++
 1 file changed, 10 insertions(+)

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

diff --git a/test/behavior/error.zig b/test/behavior/error.zig
index 2013cbcfa3..25feb101bc 100644
--- a/test/behavior/error.zig
+++ b/test/behavior/error.zig
@@ -855,3 +855,13 @@ test "error from comptime string" {
         try expect(mem.eql(u8, name, @errorName(err)));
     }
 }
+
+test "field access of anyerror results in smaller error set" {
+    if (builtin.zig_backend == .stage1) return error.SkipZigTest;
+
+    const E1 = @TypeOf(error.Foo);
+    try expect(@TypeOf(E1.Foo) == E1);
+    const E2 = error{ A, B, C };
+    try expect(@TypeOf(E2.A) == E2);
+    try expect(@TypeOf(@field(anyerror, "NotFound")) == error{NotFound});
+}
-- 
cgit v1.2.3