アサーションは、コードにバグがないかどうかは関係ありません。 彼らは、結果がプロトコルの不変量に違反しているかどうかを気にします。 のように簡単です。