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

Question

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

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

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

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

如果枚举是逆变的，它们将是 type Adt[Any]。

但如果它是不变的呢？

Answer 1

在 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