How to get generic argument to apply to all arguments

[mikuhl-dev]

    ---@generic T
    ---@param a T
    ---@param b T
    function foo(a, b)
    end

    ---@param a string
    ---@param b number
    ---@param c boolean
    local function bar(a, b, c)
    end

    foo(bar, function(a, b, c)
        -- a, b, c, not typed like the previous argument
    end)

    foo(123, "456") -- second argument can incorrectly be a string

Is this possible to do?