t_wの輪郭

第一引数がfalseだと第二引数をエラーとして出力するやつ。
よくあるassert文と異なり、エラーを出力しても処理は止まらないので注意が必要。
「開発環境では動いて本番環境では処理しない」みたいな機能は提供されていないので、契約プログラミングとして用いる場合はいい感じに頑張る必要がある。