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 {