tarunon

swiftのgenericsはそれを区別する型でないから、出来るかどうかが型として明示的にならないと思う

正しいと思う。

3:11 AM

多分同じことを言っていて

3:12 AM

今の Swift のジェネリック型のパラメータ部分は保守的に invariant だから、その規則だと無理ってことになるけど

3:12 AM

メンバ単位で出現状況をチェックするようにしたら、許容しうるという話