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