A static goto inside a block literal leaves the block instead of reaching its label #4476

On master (5b4d440), interpreter:

options gen2
[sideeffects]
def lab2 : int {
    var q = 0
    let v = invoke($() : int {
        goto label 3
        label 3:
        return 3
    })
    return v + q
}
[export]
def main {
    print("{lab2()}\n")
}

Expected 3. Got EXCEPTION: end of block without return - the jump leaves the block literal instead of reaching the label two lines down. A label without a goto in the same literal (invoke($() : int { label 3: return 3 })) runs, and a computed goto whose target is a label only a block literal declares throws as it should (jump to label 3 failed, caught by a try around the call).