Warum können Sie keine generische Selbstreferenz in Swift 3.2/4 KeyPath-Typalias verwenden?

Question

Warum können Sie keine generische Selbstreferenz in Swift 3.2/4 KeyPath-Typalias verwenden?

Beispiel: Der unten stehende Code wird kompiliert, wenn Sie die Zeile // B nicht auskommentieren. Warum? Von dem, was ich begründen kann, sollte die Linie, die mit markiert ist, genau dieselbe Sache wie die Linie bedeuten, die // A wegen der Aussage typealias Path<T> = KeyPath<Self,T> markiert wird.

Fehle ich hier etwas, oder ist das ein Swift Compiler Bug?

Answer 1

root, der Wert von keypath, in eckigen Klammern, ist erforderlich, um einen Schlüsselpfad zu deklarieren. Es ist, als würde man Array mit dem Typ Swift deklarieren. Dies sollte funktionieren:

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