Yuta Saito

BarがBazの定義の中で使われてないときだけ、Foo.Bazを書けるようにする、みたいな議論あるのかな (edited)

それはStructural SubtypingっぽくてSwiftらしくないような。この場合はサブタイピングじゃないけど構造から型を決めるという点が。