Contract.Assert не вызывает ошибку компиляции

Я пытаюсь добавить проверку для своего типа во время компиляции с помощью Contract, но, к сожалению, это не работает. Например, приведенный ниже код не выдает ошибку компилятора при компиляции проекта. Должен ли я что-то включить?

Contract.Assert(false, "Invalid state!");