Type inferencing of filter style functions

Given:

---@generic T
---@param f fun(a: T)
---@param t table<any, T>
---@return T[] (table)
local function tbl_filter(f, t)
  return t
end

---@type string[]
local s = {'a', 'b', 'c'}

local r1 = tbl_filter(function(a) end, s)

r1 is inferred as unknown[] because a is unknown despite s being known. However, could we infer a from s and force the typechecker to insist a is a string?

If I remove the type from a:

---@generic T
---@param f fun(a)
---@param t table<any, T>
---@return T[] (table)
local function tbl_filter2(f, t)
  return t
end

local r2 = tbl_filter2(function(_) end, s)

r2 is now inferred as string[] because only s is used to infer the type.

Bắt đầu bằng cách tái hiện hai ví dụ tbl_filter trong issue và so sánh các kiểu tham số và kiểu kết quả được suy luận của callback. Truy vết các điểm vào generic-function và callback type-inference của language server; được xem là hoàn tất khi tham số callback đầu tiên được suy luận là string từ s, r1 là string[] và các kiểu callback không tương thích bị từ chối.