`repeat…until val ~= nil` should satisfy the need for nil checks

I have some code where I have to wait for a forked process to create a file and I can't get feedback over its return status or stdout, so I use a polling pattern similar to this:

local val = nil

-- kick off the external process
fork_process(...)

repeat
    val = check_for_val(...)
until val ~= nil

val:foo()

In this current form, I get a diagnostic that says I need to perform a nil check on val before calling foo, but the loop condition here should be considered the nil check.

This already works for while val == nil do...end so it would be nice to see it for repeat...until val~= nil as well.

该 issue 未指定源文件或测试；首先定位处理 while 循环和 repeat…until 条件的 nil 检查的 flow analysis 逻辑。重现 polling 示例，并将其诊断结果与现有的 while val == nil 行为进行比较；当 repeat…until val ~= nil 之后，val:foo() 不再需要额外的 nil 检查时，即可完成。