aboutsummaryrefslogtreecommitdiff
path: root/src/check_type.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/check_type.cpp')
-rw-r--r--src/check_type.cpp6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/check_type.cpp b/src/check_type.cpp
index 3eada163c..881bb9600 100644
--- a/src/check_type.cpp
+++ b/src/check_type.cpp
@@ -1187,7 +1187,11 @@ bool check_type_specialization_to(CheckerContext *ctx, Type *specialization, Typ
Type *t = base_type(type);
Type *s = base_type(specialization);
if (t->kind != s->kind) {
- return false;
+ if (t->kind == Type_EnumeratedArray && s->kind == Type_Array) {
+ // Might be okay, check later
+ } else {
+ return false;
+ }
}
if (is_type_untyped(t)) {