更严格的泛型推断

[xuhuanzy]

条件泛型目前的推断过于宽泛, @type声明泛型类型时允许不带泛型参数, 这给泛型分析带来了不必要的压力.

应学习 ts 的做法将其视为 any 然后报错

            ---@alias ExtractFoo<T> T extends { foo: infer F } and F or never

            ---@class Holder<T>
            ---@field value ExtractFoo<T>

            ---@type Holder
            local holder