功能请求：支持根据调用方式推理出函数参数的类型

[mercury233]

例：https://github.com/mercury233/lua-test

现有一个在外部实现的DOG类

SetOnPetting的参数是一个函数，用于执行这只狗被摸时的操作，这个函数的原型已经通过---@param 定义

但下面这样写，不能推导出dogBark和dogMeow的参数类型

只有写成inline函数才行

[sumneko]

设定如此，否则会和类型检查冲突

[mercury233]

还是希望能加上这种功能，否则大量使用函数作为参数的项目的类型检查就基本失效了
比如 ygopro-scripts 的SetCondition,SetOperation等，都是设置一个函数接收一串固定类型的对象和参数的

[sumneko]

如果一定要分开来写的话，就自己给函数添加注解，然后诊断会帮你检查注解的类型是否正确

[mercury233]

问题是这种函数有十万个左右，都加注解不现实

[sumneko]

还是希望能加上这种功能，否则大量使用函数作为参数的项目的类型检查就基本失效了 比如 ygopro-scripts 的SetCondition,SetOperation等，都是设置一个函数接收一串固定类型的对象和参数的

你这个演示代码和你给出的演示代码不一样，你是想要哪种？

[mercury233]

我感觉应该是一样的吧

[sumneko]

那总之你给出的演示代码是不行的，会产生语义冲突。不过后面游戏王脚本的写法可以。