asd.

I don't think this is a bug... It's theoretically possible that the `while true` loop would run indefinitely and not return anything, but the probability of that happening is equivalent...

> In that case the appropriate typing would be `never`: this function _cannot_ return ... Okay, so we got information that the solver infers the given `GetValidRandomNumber()` function returns `number?`,...

Oh I see what you mean now. Okay, all jokes aside, the theoretical possibilities are too abstract to brag about, so I'll just say that the type system is quite...