From 003ea29a3a135f0c845de89aee3e739ddb6308ba Mon Sep 17 00:00:00 2001
From: Dzmitry Malyshau <kvark@fastmail.com>
Date: Thu, 13 Jan 2022 14:06:14 -0500
Subject: [PATCH] validate: check constant composite type

---
 src/valid/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/valid/mod.rs b/src/valid/mod.rs
index 6b2c804757..f703bb916c 100644
--- a/src/valid/mod.rs
+++ b/src/valid/mod.rs
@@ -240,7 +240,7 @@ impl Validator {
                 }
             }
             crate::ConstantInner::Composite { ty, ref components } => {
-                match types[ty].inner {
+                match types.get_handle(ty).ok_or(ConstantError::InvalidType)?.inner {
                     crate::TypeInner::Array {
                         size: crate::ArraySize::Constant(size_handle),
                         ..