While循环嵌套在Kotlin中的同步块下

Question

为什么以下做在Kotlin中编译：

fun foo(): Boolean {
    while (true) {
        return true
    }
}

fun bar(): Boolean {
    synchronized("") {
        return foo()
    }
}

以下不是吗？

fun baz(): Boolean {
    synchronized("") {
        while (true) {
            return true
        }
    }
}

然后编译后者函数的惯用方式是什么？我可以将其重写如下：

fun baz(): Boolean {
    synchronized("") {
        while (true) {
            return true
        }

        TODO("Never")
    }
}

-但看起来不够优雅。