omochimetaru

こういう変更があるから特に気をつけてレビューしろ、みたいなシグナルは機械で出せたらもっと良さそうだなとこういう話題の時思う

そもそもクラス不変条件や事前条件は assert として大量に埋め込んでおくと得になることが多いです（というか assert は元々そのための関数です）。これで従来通りの example-based testing や fuzzing かけるとテストで検証のコードを実装せずとも自動的に検証されます