From 6a9c9afbae24897a5c6fa843794be33e4ed33f12 Mon Sep 17 00:00:00 2001
From: Mitchell Hashimoto <mitchell.hashimoto@gmail.com>
Date: Fri, 11 Mar 2022 09:26:36 -0800
Subject: [PATCH] stage2: @hasField for anon structs

---
 src/Sema.zig               | 5 +++++
 test/behavior/hasfield.zig | 4 ++++
 2 files changed, 9 insertions(+)

diff --git a/src/Sema.zig b/src/Sema.zig
index a33861c74c..41ca123062 100644
--- a/src/Sema.zig
+++ b/src/Sema.zig
@@ -7790,6 +7790,11 @@ fn zirHasField(sema: *Sema, block: *Block, inst: Zir.Inst.Index) CompileError!Ai
             if (mem.eql(u8, field_name, "len")) break :hf true;
             break :hf false;
         }
+        if (ty.castTag(.anon_struct)) |pl| {
+            break :hf for (pl.data.names) |name| {
+                if (mem.eql(u8, name, field_name)) break true;
+            } else false;
+        }
         break :hf switch (ty.zigTypeTag()) {
             .Struct => ty.structFields().contains(field_name),
             .Union => ty.unionFields().contains(field_name),
diff --git a/test/behavior/hasfield.zig b/test/behavior/hasfield.zig
index 81026273c0..6b31ba22a9 100644
--- a/test/behavior/hasfield.zig
+++ b/test/behavior/hasfield.zig
@@ -34,4 +34,8 @@ test "@hasField" {
     try expect(@hasField(enm, "b") == true);
     try expect(@hasField(enm, "non-existant") == false);
     try expect(@hasField(enm, "nope") == false);
+
+    const anon = @TypeOf(.{ .a = 1 });
+    try expect(@hasField(anon, "a") == true);
+    try expect(@hasField(anon, "b") == false);
 }