stage2: add error set type equality

1 files changed, 18 insertions, 0 deletions

diff --git a/test/cases.zig b/test/cases.zig
index ffff88f7d8..302246065f 100644
--- a/test/cases.zig
+++ b/test/cases.zig
@@ -1568,6 +1568,24 @@ pub fn addCases(ctx: *TestContext) !void {
         });
     }
     {
+        var case = ctx.exe("error set equality", linux_x64);
+
+        case.addCompareOutput(
+            \\pub fn main() void {
+            \\    assert(@TypeOf(error.Foo) == @TypeOf(error.Foo));
+            \\    assert(@TypeOf(error.Bar) != @TypeOf(error.Foo));
+            \\    assert(anyerror == anyerror);
+            \\    assert(error{Foo} != error{Foo});
+            \\    // TODO put inferred error sets here when @typeInfo works
+            \\}
+            \\fn assert(b: bool) void {
+            \\    if (!b) unreachable;
+            \\}
+        ,
+            "",
+        );
+    }
+    {
         var case = ctx.exe("inline assembly", linux_x64);
 
         case.addError(