lhsがConcreteEquatableBox<Cat> の場合は、box._unbox()が T == Cat で呼び出されて、内部で as? Cat、 Cat.== が呼ばれる rhsがConcreteEquatableBox<Animal> の場合は、 box._unbox() が T == Animal で呼び出されて、内部で as? Animal、 Animal.== が呼ばれるか

6:54 AM

Cat.== と Animal.== の反射律は Cat と Animal の実装が責任を持ってるからおかしなことはナシと

6:54 AM

そっかそれだけか