问题描述
我找不到与Scala 3等效的SLS。我试图慢慢地使自己陷入Scala 3的思维定势,并编写新代码-并在下一次更改时重构旧代码-以便将其翻译为Scala 3很简单。避免使用易失的类成员是(非常)间接的结果,导致当前使用类型投影的某些情况。
解决方法
我将从here复制我的评论:
Volatile types是Scala-2的东西。它们是一种避免因类型投影不正确而引起的问题的解决方法:
Cannot override a type with non-volatile upper bound
在Scala 3(常规)类型投影中删除
https://dotty.epfl.ch/docs/reference/dropped-features/type-projection.html