Android Studio 没有认识到 when 语句对于密封类是详尽无遗的

问题描述

我有一个名为 Outcome 的简单结果类，它是密封的，由三个子类组成：Waiting、Success 和 Failure：

sealed class Outcome<out T> {

    object Waiting : Outcome<nothing>()

    class Success<T>(val data: T) : Outcome<T>()

    open class Failure : Outcome<nothing>()
}

现在我想使用 when 语句来检查通用 Outcome 是哪种类型，但是 Android Studio（特别是 Android Studio，IntelliJ IDEA 没有这个问题）似乎认为它并不详尽并给出警告：

建议密封类上的'when'表达式详尽，添加'is Failure'、'is Success'、'Waiting'分支或'else'分支

然而，when 绝对是详尽的：

when (o) {

    is Outcome.Failure -> Todo()
    is Outcome.Success -> Todo()
    Outcome.Waiting -> Todo()
}

即使我要求添加剩余的分支，它也只是添加了我已有的副本，但仍然会产生相同的错误：

when (o) {

    is Outcome.Failure -> Todo()
    is Outcome.Success -> Todo()
    Outcome.Waiting -> Todo()
    is Outcome.Failure -> Todo()
    is Outcome.Success -> Todo()
    Outcome.Waiting -> Todo()
}

这不是一个大问题，因为它只是一个警告，不会导致任何实际问题。但是，我想知道这是推理错误还是与我的设计有关。

---

注意：我的 Android Studio 插件版本是 1.4.32-release-Studio4.1-1，我已经在一个全新的项目中尝试了这个并得到了相同的结果。

解决方法

自从升级到 Kotlin 1.5（特别是 202-1.5.0-release-764-AS8194.7）后，这个问题现在已经得到纠正，所以看起来它一定只是一个推理错误。