diff --git a/src/Sema.zig b/src/Sema.zig index 41ca123062..ac43ef76b3 100644 --- a/src/Sema.zig +++ b/src/Sema.zig @@ -7795,6 +7795,10 @@ fn zirHasField(sema: *Sema, block: *Block, inst: Zir.Inst.Index) CompileError!Ai if (mem.eql(u8, name, field_name)) break true; } else false; } + if (ty.isTuple()) { + const field_index = std.fmt.parseUnsigned(u32, field_name, 10) catch break :hf false; + break :hf field_index < ty.structFieldCount(); + } 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 6b31ba22a9..52680f1aa5 100644 --- a/test/behavior/hasfield.zig +++ b/test/behavior/hasfield.zig @@ -38,4 +38,12 @@ test "@hasField" { const anon = @TypeOf(.{ .a = 1 }); try expect(@hasField(anon, "a") == true); try expect(@hasField(anon, "b") == false); + + const tuple = @TypeOf(.{ 1, 2 }); + try expect(@hasField(tuple, "a") == false); + try expect(@hasField(tuple, "b") == false); + try expect(@hasField(tuple, "0") == true); + try expect(@hasField(tuple, "1") == true); + try expect(@hasField(tuple, "2") == false); + try expect(@hasField(tuple, "9999999999999999999999999") == false); }