Condividi generica tra tratti

Question

Ho due tratti

trait Base[A] 

trait SometimesUsedWithBase[A] { 
    this: Base[A] => 
} 

Ho quindi utilizzare questi con una classe

class StringThing extends Base[String] with SometimesUsedWithBase[String] 

Sarebbe bello se io non dovessi definire il tipo SometimesUsedWithBase s' e invece in qualche modo capisce che sta usando il tipo definito in Base in modo che assomigli a:

class StringThing extends Base[String] with SometimesUsedWithBase 

È possibile?

Answer 1

Si dovrebbe essere in grado di fare qualcosa di simile.

trait Base[A] { 
    type BaseType = A 
} 

trait SometimesUsedWithBase { 
    this: Base[_] => 
    def someFunction: BaseType 
} 

class StringThing extends Base[String] with SometimesUsedWithBase { 
    def someFunction: String = "" 
}