@twoyuan 很正常, type inference 有时候因为过于智能会显得比较魔幻

执行一下
fun main(args: Array<String>) = run { val run = 1; run { print("run: $run") } }

或者甚至 (后面这个会有个编译警告, 但警告的也仅仅是变量重名而不是 type inference 混淆)
fun main(args: Array<String>) {
val x: (() -> Any) -> Any = ::run;
x { val x = 1; x { print("x: $x") } }
}