From 249938dde060acf129d829bbe4e3bc097428c5a7 Mon Sep 17 00:00:00 2001
From: Tadeo Kondrak <me@tadeo.ca>
Date: Tue, 28 Apr 2020 00:24:28 -0600
Subject: [PATCH] Validate vector types for @Vector

---
 src/ir.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/ir.cpp b/src/ir.cpp
index 8cfc492a7dbb827083637c746030e0d5fab3cf6e..479564554464c885e8d1d830d7558dc04827f864 100644
--- a/src/ir.cpp
+++ b/src/ir.cpp
@@ -25426,6 +25426,10 @@ static ZigType *type_info_to_type(IrAnalyze *ira, IrInst *source_instr, ZigTypeI
             assert(payload->type == ir_type_info_get_type(ira, "Vector", nullptr));
             BigInt *len = get_const_field_lit_int(ira, source_instr->source_node, payload, "len", 0);
             ZigType *child_type = get_const_field_meta_type(ira, source_instr->source_node, payload, "child", 1);
+            Error err;
+            if ((err = ir_validate_vector_elem_type(ira, source_instr->source_node, child_type))) {
+                return ira->codegen->invalid_inst_gen->value->type;
+            }
             return get_vector_type(ira->codegen, bigint_as_u32(len), child_type);
         }
         case ZigTypeIdAnyFrame: {
-- 
2.54.0