From e676e74efbbbf62887b9442326399eebccc4d108 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Fri, 17 Jul 2026 16:16:23 +0200
Subject: Handle base type constness

---
 boot/type_check.cc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'boot/type_check.cc')

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);
         }
-- 
cgit v1.2.3