Handle base type constness

1 files changed, 3 insertions, 2 deletions

diff --git a/boot/type_check.cc b/boot/type_check.cc
index 3667007..b42792b 100644
--- a/boot/type_check.cc
+++ b/boot/type_check.cc
@@ -212,7 +212,8 @@ namespace elna::boot
                     return true;
                 }
             }
-            return !record->base.empty() && contains_constant_member(record->base);
+            return !record->base.empty()
+                && contains_constant_member(resolve_underlying_type(record->base));
         }
         else if (auto array = referent.get<array_type>())
         {
@@ -230,7 +231,7 @@ namespace elna::boot
         }
         alias_path.push_back(alias->name);
 
-        if (auto another_alias = alias->reference.get<alias_type>())
+        if (auto another_alias = alias->referent.get<alias_type>())
         {
             return check_unresolved_symbol(another_alias, alias_path);
         }