Während ich meinen Kopf über another question knackte, stieß ich auf verschiedene Rätsel, die verwandt scheinen. Dies ist einer von ihnen: trait Sys[S <: Sys[S]] {
type Peer <: Sys[Peer]
}
tra
Wie würde ich konvertieren: trait Foo[A <: Foo[A]]
ein Typ-Mitglied? Das heißt, möchte ich etwas entlang der Linien der folgenden Möglichkeiten: trait Foo {
type A <: Foo {type A = ???}
}
ab
Ich habe einen F-begrenzt Typen Sys: trait Sys[S <: Sys[S]]
und einige Eigenschaft, die es als Typ-Parameter übernehmen: trait Foo[S <: Sys[S]]
Angenommen, ich habe eine Methode zu sein, aufgerufe