Is it not possible to return from a loop expression within a failable function?

[t.tutiya]

The following code will result in an error Explicit return out of a failure context is not allowed

Test02(X:[]int)<transacts><decides>:void = 
    for(Y:X):
        return
    false?

Is it not possible to return from a loop expression within a failable function?
If so, why is that?

[t.tutiya]

More Info.

I think it is just a bug.

[t.tutiya]

Sorry, the issue has already been mentioned.

Has anyone successfully written a failable function in Verse?

You can’t return explicitly from a failable context. So that stops you from using return Y false? always fails, without returning any value. However, right now the compiler still wants to see the function return a value of its return type (int) since it can’t infer that anything after false? won’t execute. You could wrap this in an option: Find(X:[]int, F(:int)<transacts><decides>:void)<transacts><decides>:int = var RetInt:?int = false for (Y:X, F[Y], not RetInt?): set RetIn…