Generalized Existentialsのspecializeって難しくないですか？↓みたいな Foo<T> があったときに

struct Foo<T> { var ts: Any<Sequence where .Iterator.Element == T> init(_ ts: Any<Sequence where .Iterator.Element == T>) { self.ts = ts } }

↓で作った a と b の間で同じ型なのにメモリレイアウトを変えないといけなくなりません？

var a: Foo<Int> = Foo(Array([2, 3, 5])) // Arrayにspecializeされる var b: Foo<Int> = Foo(Set([2, 3, 5])) // Setにspecializeされる a = b // どうなる？？