assert と precondition の名前は混乱していて、 Array のインデックスチェックは precondition ではなくインターナルななんとか assert 関数が呼ばれてたような気がする。

4:06 AM

そういう意味で、 precondition も広義の assert の一種なのでは。