01:52:51
@takekazuomi 実際の挙動は、リリースバイナリからはEnsuresは除去されているので、実行時には何も起きないんですが、Code Contractsの静的チェッカで戻り値がnullでないとマークされてしまうので、静的チェッカが完璧な動作をしなくなりますね……。
@takekazuomi 実際の挙動は、リリースバイナリからはEnsuresは除去されているので、実行時には何も起きないんですが、Code Contractsの静的チェッカで戻り値がnullでないとマークされてしまうので、静的チェッカが完璧な動作をしなくなりますね……。