Handle array and slice field constness

1 files changed, 3 insertions, 2 deletions

diff --git a/boot/name_analysis.cc b/boot/name_analysis.cc
index 0d25039..1e224da 100644
--- a/boot/name_analysis.cc
+++ b/boot/name_analysis.cc
@@ -209,11 +209,12 @@ namespace elna::boot
     {
         if (field_name == "length")
         {
-            return lookup_primitive_type("Word");
+            return type(std::make_shared<constant_type>(lookup_primitive_type("Word")));
         }
         if (field_name == "ptr")
         {
-            return type(std::make_shared<pointer_type>(element_type));
+            auto pointer = type(std::make_shared<pointer_type>(element_type));
+            return type(std::make_shared<constant_type>(pointer));
         }
         return std::nullopt;
     }