Avatar
LogicFailureが起きないことを保証するべきって話ですね 型で保証できない範囲はテストで保証するなり