From 9b394a200a55c8347e32607dcff568e8482ada48 Mon Sep 17 00:00:00 2001 From: mlugg Date: Tue, 7 Nov 2023 00:43:18 +0000 Subject: [PATCH] Sema: allow destructuring vectors This was intended to work when destructuring was first implemented, and was just unintentionally missed out. --- src/Sema.zig | 2 +- test/behavior/destructure.zig | 11 +++++++++++ 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/src/Sema.zig b/src/Sema.zig index 6feb679f4b..047f8c2c96 100644 --- a/src/Sema.zig +++ b/src/Sema.zig @@ -5205,7 +5205,7 @@ fn zirValidateDestructure(sema: *Sema, block: *Block, inst: Zir.Inst.Index) Comp const operand_ty = sema.typeOf(operand); const can_destructure = switch (operand_ty.zigTypeTag(mod)) { - .Array => true, + .Array, .Vector => true, .Struct => operand_ty.isTuple(mod), else => false, }; diff --git a/test/behavior/destructure.zig b/test/behavior/destructure.zig index 174f9ffc24..4d7c336daa 100644 --- a/test/behavior/destructure.zig +++ b/test/behavior/destructure.zig @@ -138,3 +138,14 @@ test "destructure of tuple with comptime fields results in some comptime-known v try expect(b == 42); try expect(d == 42); } + +test "destructure vector" { + const vec: @Vector(2, i32) = .{ 1, 2 }; + const x, const y = vec; + + comptime assert(@TypeOf(x) == i32); + comptime assert(@TypeOf(y) == i32); + + try expect(x == 1); + try expect(y == 2); +}