Nothing类型转换

Nothing类型是比较特殊的，因为它在Java中没有对应的版本。确实，所有的Java引用类型，包括java.lang.Void都可以接受null作为值，但是Nothing不接受那样的值。因此，这个类型不能很准确的在Java世界进行表示。这就是为什么Kotlin会在使用了Nothing参数的地方生成一个原始的类型。

fun emptyList(): List<Nothing> = listOf()
// is translated to
// List emptyList() { ... }