mmkal

型に対するコンパイル時テスト。時間の経過に伴う変更によって、型が過剰に緩くならないようにするのに役立ちます。