ネストされた一般的な制約：</p> <pre><code>extension Sequence where Iterator.Element : ObservableType { } </code></pre> <p>これは保証する：私たちは、このようなシーケンスなどの一般的な項目の拡張を書くことができスウィフトで

Question

そのジェネリック型に制約されている一般的なシーケンス拡張内の一般的なアイテムのTを拘束し拡張子は（この場合は）RxSwiftオブザーバブルのシーケンスにのみ適用されます。

しかし、要素の制約が別の一般的なものであれば、その一般的な制約はできますか？例えば：上記の擬似コード（それが機能しない）意図は言うことであるにおいて

extension Sequence where Iterator.Element : ObservableType where E : MyType { 

} 

：

この拡張は、観測ががMyType例えば型の観察可能な観測の配列に適用されるべきですあなたが ObservableTypeに準拠したタイプにIterator.Elementを制限して、関連するタイプIterator.ElementのEのための別の制約を追加することができます

Answer 1

[観測]：

protocol ObservableType { 
    associatedtype E 
    // ... 
} 

class MyType { } 

extension Sequence where Iterator.Element: ObservableType, Iterator.Element.E: MyType { 

}