表現型を型メンバーとして実装できません

Question

私の頭をanother questionに割いている間、私はさまざまな謎を抱いていました。これはそのうちの一つです：

次のようにエラーがある

trait Sys[S <: Sys[S]] { 
    type Peer <: Sys[Peer] 
} 

trait Fenced { 
    type Peer <: Sys[Peer] 
} 

def makeFence[S <: Sys[S]] = new Fenced { type Peer = S#Peer } 

：

error: overriding type Peer in trait Fenced with bounds >: Nothing <: Sys[this.Peer]; 
type Peer has incompatible type 
     def makeFence[S <: Sys[S]] = new Fenced { type Peer = S#Peer } 
                ^

はなぜ？レックスの答えはFencedオブジェクトを構築することが可能となりますが

---

（また、Sysに自己型_:S =>を追加しようとした問題ではありませんでした）、それは本当に表現型の文字で、私が持っている問題を解決しませんタイププロジェクション（S#Peer）を使用すると失われます。私はより厳しい制約を課す別のシナリオを考え出しました。私はまだあなたが探しているものを制約完全に一定ではないよ

trait Test[S <: Sys[S]] { 
    def make[T <: Sys[T]](): Unit 

    make[S#Peer]() 
} 

error: type arguments [S#Peer] do not conform to method make's type 
     parameter bounds [T <: Sys[T]] 
       make[S#Peer]() 
       ^

Answer 1

が、ここでは1つの可能性である：私は、これが問題の核心だと思います（！と必要）

trait Sys[S <: Sys[S]] { 
    type Peer <: Sys[Peer] 
} 

trait Fenced { 
    type MySys <: Sys[MySys] 
    type Peer = MySys#Peer 
} 

def makeFence[S <: Sys[S]] = new Fenced{ type MySys = S } 

これはあなたを与えますPeerと元の外側のタイプFencedの両方へのアクセス。 Fencedがこれを行う可能性があるのか​​、それとも外側のタイプ間で抽象化する必要があるのか​​はわかりません。

Answer 2

Sysの型パラメータは共変できますか？たとえば、これはコンパイル：我々は（唯一のREPLのコピー＆ペーストの便宜のためにオブジェクトにラップ）次がある場合

trait Sys[+S <: Sys[S]] { type Peer <: Sys[Peer] } 
trait Fenced { type Peer <: Sys[Peer] } 

def makeFence[S <: Sys[S]] = new Fenced { type Peer = S#Peer } 

は今：

を：

object Example { 
    case class SysX(i: Int) extends Sys[SysX] { type Peer = SysY } 
    case class SysY(j: Int) extends Sys[SysY] { type Peer = SysX } 
} 

import Example._ 

を私は期待通りに動作します

scala> val fenceX = makeFence[SysX] 
fenceX: java.lang.Object with Fenced{type Peer = Example.SysX#Peer} = ... 

scala> val y: fenceX.Peer = SysY(1) 
y: fenceX.Peer = SysY(1) 

scala> val y: fenceX.Peer = SysX(1) 
<console>:15: error: type mismatch; 
found : Example.SysX 
required: fenceX.Peer 
     val y: fenceX.Peer = SysX(1) 

あなたは何を望んでいますか？