Posso limitare l'argomento di tipo generico per essere una delle 2 classi non correlate?

Question

Mi piacerebbe essere in grado di fare qualcosa di simile (non sarà mai funzionare):

class A[T <: B | C] 

... e aspetto che questo sia valido:

new A[B] 
new A[C] 

... e questo per cedere errore compiller:

new A[D] 

È possibile qualcosa del genere?

Answer 1

Si potrebbe utilizzare impliciti:

trait AArg[T] 

class A[T](implicit e: AArg[T]) 

implicit val argB = new AArg[B] { } 
implicit val argC = new AArg[C] { } 

anche se questo non impedisce a qualcuno di creare un val implicita di tipo AArg[D].