`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 không nêu tệp nguồn hay bài kiểm thử nào; hãy bắt đầu bằng cách xác định logic flow analysis xử lý các kiểm tra nil cho vòng lặp while và các điều kiện repeat…until. Tái hiện ví dụ polling và so sánh chẩn đoán của nó với hành vi hiện có của while val == nil; hoàn tất khi val:foo() không còn yêu cầu kiểm tra nil bổ sung sau repeat…until val ~= nil.