From 6979d03f09a7e5d9637a76acb570b24dbe2fbcf7 Mon Sep 17 00:00:00 2001
From: Ryan Fleury <ryan.j.fleury@gmail.com>
Date: Sat, 20 Jan 2024 10:14:48 -0800
Subject: [PATCH] eval compiler: read through type modifiers in member access
 path

---
 src/eval/eval_compiler.c | 1 +
 src/mule/mule_main.cpp   | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/src/eval/eval_compiler.c b/src/eval/eval_compiler.c
index fc79ece2..2b895269 100644
--- a/src/eval/eval_compiler.c
+++ b/src/eval/eval_compiler.c
@@ -889,6 +889,7 @@ eval_irtree_and_type_from_expr(Arena *arena, TG_Graph *graph, RADDBG_Parsed *rdb
         TG_Kind check_type_kind = l_restype_kind;
         if (l_restype_kind == TG_Kind_Ptr || l_restype_kind == TG_Kind_LRef || l_restype_kind == TG_Kind_RRef){
           check_type_key = tg_direct_from_graph_raddbg_key(graph, rdbg, l_restype);
+          check_type_key = eval_type_unwrap(graph, rdbg, check_type_key);
           check_type_kind = tg_kind_from_key(check_type_key);
         }
         
diff --git a/src/mule/mule_main.cpp b/src/mule/mule_main.cpp
index acb7f802..78dd90a1 100644
--- a/src/mule/mule_main.cpp
+++ b/src/mule/mule_main.cpp
@@ -355,6 +355,8 @@ type_coverage_eval_tests(void){
   Has_A_Post_Forward_Reference r2 = {0};
   
   Basics &basics_ref = basics;
+  const Basics *basics_const_ptr = &basics;
+  const Basics &basics_const_ref = basics;
   
   union
   {