generics - 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