mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2025-12-30 18:02:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update CEL

Browse Source
This commit is contained in:
gingerBill
2019-01-03 00:12:24 +00:00
parent cda0f4d8f3
commit dd28fe6e82
2 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/types.cpp
View File

@@ -1338,6 +1338,9 @@ bool is_type_polymorphic(Type *t, bool or_specialized=false) {
break;
case Type_Map:
if (t->Map.key == nullptr || t->Map.value == nullptr) {
return false;
}
if (is_type_polymorphic(t->Map.key, or_specialized)) {
return true;
}