А что джиту удобнее 1) ThrowHelper.ThrowExceptionV1() (метод не возвращающий ничего) 2) return ThrowHelper.ThrowExceptionV2() (метод возвращающий какой-то тип по сигнатуре) Когда оба метода на самом деле кидают всегда exception, ака [ContractCondition(" => halt")]