部分函数返回值判断错误

[Redbeanw44602]

类似 #1260 ，也是最近出现的问题。

可以复现问题的代码：

N = {
    p =  {nil,9}
}

function N:TestBug()
    local a = math.random(99)
    if a > 88 then
        return self.p[a]
    end
    return nil
end

[sumneko]

如果没有明确指定表的类型，以整数键从表中取值时，我只会根据索引1推测类型

---@type integer
local i
local t = ({nil, 9})[i] -- `t` is `nil`

[Redbeanw44602]

emm，self.loaded 开发中是{}（运行时加载），这个推断就有点不方便了。
能否考虑未声明表类型则判断为 unknown 之类的？

[sumneko]

请提供演示代码

[Redbeanw44602]

比如

N = {
    p =  {}
}

J = require "dkjson"
N.p = J.decode('[1,2,3,4]')

function N:TestBug() -- 返回值依旧判断为nil
    local a = math.random(99)
    if a > 88 then
        return self.p[a]
    end
    return nil
end