Come chiedere lo stesso tipo nei generici Scala senza introdurre un terzo parametro di tipo?

Question

In questo momento la mia caratteristica ha un tipo extra T che non ha altro utilizzo se non quello di garantire che B e R abbiano lo stesso tipo generico.

trait GenericBuilder[T <: Any, B <: Builder[T], R <: Result[T]]

Per semplificare la dichiarazione, mi domando se c'è un modo per eliminare T in questo caso, pur mantenendo il tipo severità.

EDIT: Non ho il controllo del codice Builder o Result - si sono tirati in da alcuni manufatti java fuori.

Answer 1

Se si desidera solo per semplificare quella parte della dichiarazione è possibile spostare i tipi in membri, ma poi si finisce per dover carrello intorno ulteriori informazioni perché avete bisogno di un testimone che i tipi sono gli stessi:

trait Builder { 
    type T 
} 
trait Result { 
    type T 
} 
trait GenericBuilder[B <: Builder, R <: Result] { 
    val w: B.T =:= R.T 
}