为何移除Kotlin函数返回类型声明会引发编译错误，显式声明时却正常？
嘿，这个问题其实是Kotlin里非局部返回和函数类型推断联手搞的“小乌龙”，咱们一步步拆解明白：
先看你写的第一个函数letItPlay：
你显式给函数加了Unit的返回类型，相当于提前给编译器划了红线——“不管函数体里怎么折腾，最终返回的必须是Unit”。虽然你用了run这个inline lambda，但里面的return Unit是非局部返回（因为run是inline函数，lambda里的return会直接跳出到外层函数），它直接给letItPlay返回了Unit，完全符合你声明的类型，编译器自然没话说，直接放行。
再看出问题的letItPlay2：
你没写返回类型，这时候编译器就得自己“猜”函数的返回类型。这时候看函数体里的run块，里面的return Unit同样是非局部返回——它直接结束了letItPlay2函数，导致run这个lambda本身根本没机会正常返回任何值（还没等lambda执行完，就被return打断了）。Kotlin里，这种“永远不会正常返回”的情况对应的类型是Nothing，所以编译器就推断整个letItPlay2函数的返回类型是Nothing。
但这里矛盾来了：你实际返回的是Unit，可编译器推断出的是Nothing，这就出现了两个错误：
- Kotlin要求
Nothing作为返回类型必须显式声明，不能靠推断，所以第一个错误提示你得把Nothing写出来； - 你返回的
Unit和推断的Nothing类型不匹配，所以第二个错误提示类型冲突。
至于你说的“两个函数都用了inline函数，为啥只有一个报错”——关键就在于有没有显式声明返回类型：显式声明时，编译器会优先遵循你指定的类型，不会去做那种“看lambda有没有提前return”的极端推断；而隐式推断时，编译器会严格按照代码的执行逻辑来判断，发现lambda被非局部return打断，就会推断出Nothing类型，进而引发冲突。
顺便提一句：如果把letItPlay2里的return Unit改成return@run Unit（用标签返回，只从run lambda里返回，不跳出外层函数），编译器就会推断出run的返回类型是Unit，整个函数的返回类型也会被推断为Unit，就不会报错了。
备注：内容来源于stack exchange，提问作者1 JustOnly 1
