DbCを理解してない奴にassertのなんたるかを説いても無駄。
末端コーダーの手抜きコードなんてさわりたくもないな。