Kotlin sealed class泛型使用出现Type mismatch类型不匹配问题

这个编译错误源于对Kotlin协变泛型规则、Nothing类型语义的理解偏差，核心逻辑如下：

• 你定义的Loadable<out T>是协变泛型类，协变的规则非常明确：只有当类型A是类型B的子类型时，Loadable<A>才是Loadable<B>的子类型。
• 初始版本的Error类继承自Loadable<DomainException>，也就是说Loadable.Error实例的静态类型是Loadable<DomainException>。
• 观察makeCall方法的参数签名：liveData的类型是MutableLiveData<Loadable<T>>，这里的T是方法声明的自由泛型，由调用方传入的实际类型决定，不存在任何约束保证DomainException是T的子类型。

举个最直观的例子：如果调用方传入MutableLiveData<Loadable<User>>（T为User类型），DomainException和User没有继承关系，按照协变规则Loadable<DomainException>根本不是Loadable<User>的子类型，编译器必然报类型不匹配错误：

Type mismatch. Required: Loadable Found: Loadable.Error

• Loadable.Loading继承自Loadable<Nothing>：Kotlin中Nothing是全局底类型，是所有其他类型的子类型。按照协变规则，Loadable<Nothing>是任意Loadable<T>的子类型，无论T是什么类型都可以合法赋值。
• Loadable.Success(result)的返回类型就是Loadable<T>，和liveData要求的泛型类型完全匹配，自然不会触发类型错误。

将Error改为继承Loadable<Nothing>后，它的类型就和Loading一致为Loadable<Nothing>，完全符合协变子类型规则，可以兼容任意T的Loadable<T>类型要求。
从语义层面看这也是唯一正确的写法：Error状态代表请求失败，根本不存在T类型的成功返回值，Nothing恰好表达了"该状态下不存在T类型实例"的语义。你最初将Error的泛型指定为DomainException本身就是逻辑偏差——Loadable的泛型T对应的是成功返回值的类型，和异常类型没有关系。

内容的提问来源于stack exchange，提问作者QuarK