This code does not compile in Scala 3 since type projection on an abstract type is now invalid: trait Entity: type Key type Dictionary[T <: Entity] = Map[T#Key, T] The compiler complains tha...