我可能没有很好地解释标题中的问题，但这里有一个例子：

fun main() {
    acceptEnum(inferType())
}

fun acceptEnum(value: MyEnum?) {}

fun <R : Enum<R>?> inferType(): R = TODO()

enum class MyEnum {
    VALUE
}

字符串
inferType()函数推断其返回类型并将其绑定为通用的可空枚举。acceptEnum()函数有一个可空枚举参数。当我们编写acceptEnum(inferType())时，一切都很好。但是如果我们向acceptEnum()添加一个参数并再次传递inferType()，会发生以下情况：

fun main() {
    // first inferType() does not compile with an error:
    // Type mismatch: inferred type is MyEnum? but MyEnum was expected
    acceptEnum(inferType(), inferType())
}

fun acceptEnum(value: MyEnum?, value2: MyEnum?) {}

型
如果我们添加更多的参数，除了最后一个inferType()调用，每个inferType()调用都会产生这个错误。
这是一个编译器bug还是我做错了什么？

更新

Kotlin论坛帖子：https://discuss.kotlinlang.org/t/kotlin-incorrectly-infers-nullable-enum-return-type-when-a-function-call-is-passed-as-an-argument-to-another-function/23650

更新

Kotlin问题https://youtrack.jetbrains.com/issue/KT-50232