summaryrefslogtreecommitdiff
path: root/src/validator.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/validator.cc')
-rw-r--r--src/validator.cc8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/validator.cc b/src/validator.cc
index d9fd9fd1..96abe48a 100644
--- a/src/validator.cc
+++ b/src/validator.cc
@@ -606,6 +606,14 @@ Result Validator::CheckModule() {
type_muts.data());
break;
}
+
+ case TypeEntryKind::Array: {
+ ArrayType* array_type = cast<ArrayType>(f->type.get());
+ result_ |= validator_.OnArrayType(
+ field.loc,
+ TypeMut{array_type->field.type, array_type->field.mutable_});
+ break;
+ }
}
}
}