Kotlin：編譯器無法為某些運算符推斷泛型

Question

為什么Kotlin的編譯器無法通過一些運算符調用來推斷泛型？ 例如：

class Example {

    operator inline fun <reified T : Any> unaryMinus(): T {
        ...
    }

}

在主要方法中使用它...

fun main(args: Array<String>) {
    val ex = Example()

    val works: Boolean = ex.unaryMinus()
    val doesntWork: Boolean = -ex
}

Answer 1

不幸的是，這是一個錯誤的結果： https : //youtrack.jetbrains.com/issue/KT-10453