diff --git a/src/Sema.zig b/src/Sema.zig index 972efcff72..e816a167ec 100644 --- a/src/Sema.zig +++ b/src/Sema.zig @@ -9963,6 +9963,26 @@ fn zirSwitchCapture( const field_index = @intCast(u32, operand_ty.unionTagFieldIndex(item_val, sema.mod).?); const union_obj = operand_ty.cast(Type.Payload.Union).?.data; const field_ty = union_obj.fields.values()[field_index].ty; + if (try sema.resolveDefinedValue(block, sema.src, operand_ptr)) |union_val| { + if (is_ref) { + const ptr_field_ty = try Type.ptr(sema.arena, sema.mod, .{ + .pointee_type = field_ty, + .mutable = operand_ptr_ty.ptrIsMutable(), + .@"volatile" = operand_ptr_ty.isVolatilePtr(), + .@"addrspace" = operand_ptr_ty.ptrAddressSpace(), + }); + return sema.addConstant( + ptr_field_ty, + try Value.Tag.field_ptr.create(sema.arena, .{ + .container_ptr = union_val, + .container_ty = operand_ty, + .field_index = field_index, + }), + ); + } + const tag_and_val = union_val.castTag(.@"union").?.data; + return sema.addConstant(field_ty, tag_and_val.val); + } if (is_ref) { const ptr_field_ty = try Type.ptr(sema.arena, sema.mod, .{ .pointee_type = field_ty, diff --git a/test/behavior/switch.zig b/test/behavior/switch.zig index e02a66f54b..b69add6fdf 100644 --- a/test/behavior/switch.zig +++ b/test/behavior/switch.zig @@ -694,3 +694,15 @@ test "switch item sizeof" { try S.doTheTest(); comptime try S.doTheTest(); } + +test "comptime inline switch" { + const U = union(enum) { a: type, b: type }; + const value = comptime blk: { + var u: U = .{ .a = u32 }; + break :blk switch (u) { + inline .a, .b => |v| v, + }; + }; + + try expectEqual(u32, value); +}