`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.

L’issue non indica alcun file sorgente né alcun test; inizia individuando la logica di flow analysis che gestisce i controlli di nil per i cicli while e le condizioni repeat…until. Riproduci l’esempio di polling e confronta la relativa diagnostica con il comportamento esistente di while val == nil; il lavoro è concluso quando val:foo() non richiede più un controllo aggiuntivo di nil dopo repeat…until val ~= nil.