Ah, that is a good question ^^
The reason is that, when the labeled block is in statement position, its result will be discarded (just like any other expression). Therefore, just like in the `case _ =>` we typecheck the expression without specifying an expected type (which is equivalent to expecting `AnyType`), here we say that the `return`s to that labeled block can return anything.