項目種別
補足
伝えた回
記載日
Nov 24, 2022 6:16 AM
関連資料
preconditionFailure が Never を戻り値の型としていることを見つけて「バグではないか？」という話になりましたけれど、どうやらこれは意図的にそうされているもののようです。
調べてみても、具体的に preconditionFailure にまで触れられた上で無チェック最適化で除外されることが記されていたり、それで正しいことが明記された情報まであったりするものの、今のところはハッキリとした理由を理解できていないところです。
assertionFailure についても同様の考え方があるようで、それも含めて理解を進める必要性がありそうです。