:art: Improve check_call1

diff --git a/src/parse/check.c b/src/parse/check.c
index 51dbad9e863ece71d5f09f0d1a6ef0aeeaa954f2..599ee0728a0bda85ecf0a4674a1964efa6db2721 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -836,8 +836,9 @@ ANN Type check_exp_call1(const Env env, Exp_Call *const exp) {
           CHECK_BO(ensure_check(env, func->value_ref->from->owner_class));
         else {
           const m_uint scope = env_push(env, NULL, func->value_ref->from->owner);
-          CHECK_BO(check_func_def(env, func->def));
+          const m_bool ret = check_func_def(env, func->def);
           env_pop(env, scope);
+          CHECK_BO(ret);
         }
       }
     exp->func->type = func->value_ref->type;