fix member lookup rules in new eval ir tree builder

src/eval/eval_ir.c

@@ -456,7 +456,7 @@ e_irtree_and_type_from_expr(Arena *arena, E_Expr *expr)
          l_restype_kind == E_TypeKind_LRef ||
          l_restype_kind == E_TypeKind_RRef)
       {
-        check_type_key = e_type_unwrap(l_restype);
+        check_type_key = e_type_unwrap(e_type_direct_from_key(e_type_unwrap(l_restype)));
         check_type_kind = e_type_kind_from_key(check_type_key);
       }
       e_msg_list_concat_in_place(&result.msgs, &l.msgs);

src/mule/mule_main.cpp

@@ -252,6 +252,22 @@ struct Has_A_Post_Forward_Reference{
   struct Gets_Referenced_Forwardly value;
 };
 
+struct TypeWithMemberFunction
+{
+  int x;
+  int y;
+  int z;
+  char *name;
+  __declspec(noinline) void SetInfo(int _x, int _y, char *_name)
+  {
+    x = _x;
+    y = _y;
+    z = 0;
+    name = _name;
+    OutputDebugStringA("setting info\n");
+  }
+};
+
 static void
 no_params1(void){
   
@@ -379,6 +395,9 @@ type_coverage_eval_tests(void){
   stks *stks_first = &stks_test[0];
   stks *stks_ptr = stks_first + 8;
   
+  TypeWithMemberFunction twmf = {0};
+  twmf.SetInfo(123, 456, "foobar");
+  
   TestFunction *function = mule_get_module_function("dll_type_eval_tests");
   function();