Do volatile types still exist in Scala 3?

235 views Asked by At

I can't find the equivalent SLS for Scala 3. I am trying to slowly get myself into the Scala 3 mindset and write new code - and refactor old when next changed - so that its translation to Scala 3 is straightforward. Certain current usecases of type projections came to as a (very) indirect result of avoiding volatile class members.

1

There are 1 answers

1
Dmytro Mitin On BEST ANSWER

I'll copy my comment from here:

Volatile types is a Scala-2 thing. They were a workaround to avoid issues caused by unsoundness of type projections:

Cannot override a type with non-volatile upper bound

In Scala 3 (general) type projections are dropped

https://dotty.epfl.ch/docs/reference/dropped-features/type-projection.html