Swift 3.2/4 KeyPathタイプで一般的な自己参照を使用できないのはなぜですか？

Question

Swift 3.2/4のKeyPathタイプで一般的な自己参照を使用できないのはなぜですか？

例：// Bと記された行のコメントを外さない限り、以下のコードがコンパイルされます。どうして？私が理由があるとすれば、// Bと記された行は、typealias Path<T> = KeyPath<Self,T>という文の意味で、// Aと記された行と全く同じものを意味するはずです。

ここに何か不足していますか、これはSwiftコンパイラのバグですか？

protocol Fooer { 
    associatedtype T 
    typealias Path<T> = KeyPath<Self, T> 
    var baz: T { get } 
} 

protocol FooPathContainable { 
    associatedtype F: Fooer 
    associatedtype T where F.T == T 
    var fooerPathA: KeyPath<F,T> { get set } // A 
    var fooerPathB: F.Path<T> { get set } // B <— causes compiler crash with Segmentation Fault 11 
} 

Answer 1

ルート、keypathを宣言するには、山括弧内の値が必要です。それはSwiftの型を持つArrayを宣言するようなものです。 これは動作するはずです：

var fooerPathB: F.Path<F, T> { get set }