Üçüncü tip bir parametre kullanmadan Scala jeneriklerinde aynı türden nasıl sorulur?

Question

Şu anda benim karakterim, B ve R'un aynı genel türüne sahip olmaktan başka gerçek bir kullanımı olmayan ekstra tip T'ye sahip.

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

ben tip katılığına korurken bu durumda T ortadan kaldırmak için bir yol olup olmadığını merak beyanı basitleştirmek için.

DÜZENLEME: Ben Builder veya Result kod kontrol yok - onlar dışında bazı java eserler dan çekilir.

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

:

Answer 1

sen sadece üyelere içine türlerini hareket olabilir beyanı o kısmını basitleştirmek istiyoruz ama siz türleri aynıdır bir şahit gerekir çünkü o zaman sepetine etrafında daha fazla bilgi sahip sonunda ise