ジェネリック型の1つがSwiftの他のジェネリック型のサブクラスであるかどうかをチェックする方法は？

Question

Swiftでは、1つのジェネリックタイプが他のタイプから継承されていることをどのようにチェックできますか？

私はこのコードを持っている：

class Style<U: Styleable> { 
    ... 
    init<V: Styleable>(_ style: Style<V>) { 
     ... 
    } 
} 

を私はUがVのサブクラスであるとき、それだけで呼び出すことができることを、このINITの内側に確認する必要があります。私はコンパイル時にこれをチェックする方法を知らない。Swiftはあるジェネリック型を他のジェネリック型のサブクラスに制限することはできない。だから私ができる唯一のことは、間違った方法で使用するとプログラムがクラッシュするようにいくつかのアサーションを使うことです。

これを解決する方法はありますか？

Answer 1

まあ、私は答えを見つける。とても近かった： assert(U.self is V.Type)