func foo<T: SomeProtocol, U: SomeProtocol>(x: Foo<T>)->Foo<U>ですよね元のものは (edited)

1:52 AM

その上で、SomeProtocolで宣言されたものが型消しになるのなら、Okだと思います (edited)