К сожалению, Code Contracts больше не поддерживается.
Хорошей новостью является то, что в C # 8 будет добавлена новая обнуляемая ссылка типов , которая будет обрабатывать большую часть инвариантов, а также предварительных и постусловий, для которых использовались кодовые контракты. Это поможет обнаружить и избежать возможных исключений с нулевой ссылкой.
Плохая новость заключается в том, что нет встроенной поддержки для других типов контрактов, и ничего подобного не было объявлено на будущее.
Гарантии правильности должны исходить от сторонних инструментов или другого языка (например, Ada Spark ).