fix: stop crashing on f():m() inside parameterised functions (#36)

[esrrhs]

Fixes #36

问题

在带参数的函数体内，把函数调用结果直接作为方法调用的接收者（Pkg.Fn():get(k)）会导致编译器 SIGSEGV（exit 139）。因为是编译期崩溃，哪怕这个函数永远不会被调用也会崩，整个服务起不来，且没有任何 Lua 侧报错。三个 JIT 后端（TCC/GCC/interp）都崩——崩溃发生在 JIT 之前。

根因

数学参数发现（FindMathParamIndices）会遍历带参函数体里的每一个 FunctionCall 节点并交给 CheckCallNodeChange，而后者假定被调者是简单变量名：

DEBUG_ASSERT(callee_pe && callee_pe->GetPrefixKind() == PrefixExpKind::kVar);
const auto callee_var = std::dynamic_pointer_cast<SyntaxTreeVar>(callee_pe->GetValue());
DEBUG_ASSERT(callee_var && callee_var->GetVarKind() == VarKind::kSimple);
const auto &callee_name = callee_var->GetName();   // <- 崩溃点

对 f():m() 来说被调者是一个 FunctionCall 节点，dynamic_pointer_cast<SyntaxTreeVar> 返回空指针；而 -DNDEBUG 恒开（Debug 构建也是），DEBUG_ASSERT 被编译掉，于是变成裸的空指针解引用（崩溃地址 0x3f = NULL + 0x28）。

「函数带参数」是触发条件，因为 FindMathParamIndices 只对形参非空的函数做数学参数发现——所以 function f() 不崩，function f(a) / function f(...) 都崩。

修复

把三处同样的「拿断言当校验」改成真实提前返回：

文件	函数	修改
src/compile/type_inferencer.cpp	CheckCallNodeChange	非简单名调用 → return false
src/compile/type_inferencer.cpp	ResolveCallReturnType	→ return T_DYNAMIC，顺带修掉 assumed_ret 查不到时 ret_it->second 的 UB
src/compile/c_gen.cpp	TryCompileNativeSpecCallExpr	→ return {}，顺带把越界的 .at() 换成 contains 检查

三处都先用 fc->Name() 排除方法调用（obj:m() / a.b()）。语义上是保守退化——少做数学特化，不改变行为。

验证

• issue 里的 8 个场景（无参 / 1 参 / 3 参 / 作为语句 / 表构造器内 / 同包函数 / 文件内 local 函数 / 链式）全部通过，TCC(0) / GCC(1) / interp(2) 三后端输出一致。
• 新增回归用例 test/lua/infer/test_infer_method_call_on_call.lua + TEST(infer, test_infer_method_call_on_call)。
• infer 全量 222 个测试通过。
• 全量 1592 个测试：1588 通过，4 个失败均为既有基线失败 test_redis.integration_*（需要真实 Redis），无新增回归。

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

❌ Patch coverage is 70.00000% with 6 lines in your changes missing coverage. Please review.
✅ Project coverage is 88.05%. Comparing base (2c4bf28) to head (829d7c5).

Files with missing lines	Patch %	Lines
src/compile/c_gen.cpp	53.84%	6 Missing ⚠️
❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@            Coverage Diff             @@
##           master      #37      +/-   ##
==========================================
- Coverage   88.07%   88.05%   -0.02%     
==========================================
  Files         124      124              
  Lines       25498    25507       +9     
==========================================
+ Hits        22457    22460       +3     
- Misses       3041     3047       +6     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.