それはfenceも同様にcovariantなら問題ないはず

11:44 AM

swiftのGenericsパラメータが、内部的にTがどのような使われ方をされてるかがわからなくて、多分一番問題になるのは

11:46 AM

struct Farm<T> { var 困る奴: (T)->() }

11:47 AM

こんな感じで、クロージャを持たせて引数にTを置くと、この場合はFarm<Animal>をFarm<Cat>に代入できるはずで、逆は成り立たない