実行時の挙動が変わるんでしたっけ？コンパイル時検査だけではなく？