これらの型引数が型の細分化に適合しないのはなぜですか？

Question

このScalaコードが型チェックに失敗するのはなぜですか？

trait T { type A } 
trait GenFoo[A0, S <: T { type A = A0 }] 
trait Foo[S <: T] extends GenFoo[S#A, S] 

"型引数[S＃A、S]はGenFooの型パラメータの境界を形質に適合していない[A0、S <：T {タイプA = A0を}]" なぜ私は理解していません。回避策はありますか？

編集：指摘したように、適合エラーは、S <: T{type A = S#A}の検証失敗に起因します。ダニエルソブラルは私たちに伝えている、-explaintypes指さ：

S <: T{type A = S#A}? 
    S <: T? 
    true 
    S specializes type A? 
    this.A = this.A? 
     S = this.type? 
     false 
    false 
    false 
false 

私はこれを解釈するかどうかはわかりません。我々が定義しようとした場合、我々は違法循環参照を取得

注意、

trait Foo[S <: T { type A = S#A } ] extends GenFoo[S#A, S] 

ここで型改良は、新しい情報を追加していないようですが。 （またWhy is this cyclic reference with a type projection illegal?参照）

私のモチベーションはのように、S#Aに特化した特性Foo[S <: T]作成することです。この作業を取得するにはHow to specialize on a type projection in Scala?を、私は、実装トレイトGenFooに明示的なパラメータA0としてS#A表面化しようとしていますそれは直接専門化することができます。私はMiles Sabinの答えから型式改良アイデアをWhy is this cyclic reference with a type projection illegal?に適用したいと考えていましたが、私はこの適合エラーに遭遇します。

Answer 1

これが答えのようだ：

SはタイプAを専門と？

質問について専門はここから来ている：T { type A = A0 }。これはタイプTで、type Aはに特化されています。つまり、元のTよりも制限されています。

その答えはいいえ - Sには特殊化するという制約はありません。

Answer 2

タイプ制約に従うためには、SはT { type A = A0 }のサブタイプでなければなりませんが、サブタイプはTです。

Answer 3

私はこの話題の専門家ではなく、あなたのコードで遊んだところ、問題はS#Aの部分ではなく、Sの部分であることがわかりました。

あなたは、このようなコードを記述する場合：

trait T { type A } 
trait GenFoo[A0, S <: T] // the { type A = A0 } part is not there anymore 
trait Foo[S <: T] extends GenFoo[S#A, S] 

をFoo[S <: T]でSはGenFoo[A0, S <: T]でSに準拠しているため、それは、コンパイルされます。

あなたの例では、コンパイラはSがTのサブタイプであるため、type Aが定義されていることを知っているが、それはそれはSでAがS#Aであることを確認することができますポイントに付属していません。