How to implement automatic derivation of function parameter types about lua-language-server HOT 4 OPEN

    if source.parent.type == 'funcargs' and not hasMarkDoc and not hasMarkParam then
        local func = source.parent.parent
        -- local call ---@type fun(f: fun(x: number));call(function (x) end) --> x -> number
        local funcNode = vm.compileNode(func)
        local hasDocArg
        for n in funcNode:eachObject() do
            if n.type == 'doc.type.function' then
                for index, arg in ipairs(n.args) do
                    if func.args[index] == source then
                        local argNode = vm.compileNode(arg)
                        for an in argNode:eachObject() do
                            if an.type ~= 'doc.generic.name' then
                                vm.setNode(source, an)
                            end
                        end
                        hasDocArg = true
                    end
                end
            end
        end
        if not hasDocArg then
            local refs = vm.getRefs(source.parent.parent)
            local findCall
            if refs then
                for i, ref in ipairs(refs) do
                    if ref.parent.type == 'call' then
                        findCall = ref.parent
                        break
                    end
                end
            end
            if findCall then
                local index
                for i, arg in ipairs(source.parent) do
                    if arg == source then
                        index = i
                        break
                    end
                end
                if index then
                    hasDocArg = true
                    local callerArg = findCall.args[index]
                    vm.setNode(source, vm.compileNode(callerArg))
                end
            end
        end
        if not hasDocArg then
            vm.setNode(source, vm.declareGlobal('type', 'any'))
        end
    end