Scala 3中枚举的不变默认类型

问题描述

Scala 3现在具有定义ADT的改进方法。 一种语法糖，消除了用通常的sealed trait方式进行操作的所有麻烦。

所以我将用一个例子来解释我的问题

enum Adt[+A]{
    case Option1
    case Option2
}

在这种情况下，Option1和Option2的类型为Adt[nothing]，因为类型参数A是协变的。

如果枚举是反变的，则它们的类型为Adt[Any]。

但是如果它不变呢？

解决方法

在Dotty 0.27.0-RC1中，这是一个错误：

scala> enum Adt[A]{
     |     case Option1
     |     case Option2
     | }
2 |    case Option1
  |    ^^^^^^^^^^^^
  |    cannot determine type argument for enum parent class Adt,|    type parameter type A is non variant
3 |    case Option2
  |    ^^^^^^^^^^^^
  |    cannot determine type argument for enum parent class Adt,|    type parameter type A is non variant