はい

2:21 AM

でもそれはその a が Int を要求するところや String を要求するところ　両方にかけてコンパイルできる

2:21 AM

というだけの話で

2:21 AM

たとえば

2:21 AM

struct IntAndString { var i: Int var s: String } (edited)

2:21 AM

これでも満たせる

2:22 AM

.i と .s のメンバアクセスをコンパイラが自動注入すれば

2:22 AM

式としてはそれで成立させられる