[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
Я видел этот атрибут в рефлекторе для библиотек базового класса в .NET. Возможно, неизменные гарантии поддерживаются внутри страны?
Прочитайте об этом здесь и здесь,
Краткий обзор состоит в том, что он инструктирует среду выполнения гарантировать выполнение блоков finally перед любыми исключениями async (например, ThreadAbortException).
Стандартный хост CLR будет удерживать прерывание потока, пока выполняются блокировки.
Однако, когда серверы SQL Server, CLR может запускать грубые прерывания, которые могут произойти, когда CLR запускает окончательные предложения. В таких случаях ССВ используются для обеспечения того, чтобы состояние не искажалось.
Существует определенное требование, которое вы должны встретить внутри CER (например, вам не разрешено помещать вещи внутри CER).
Это не имеет ничего общего с неизменяемостью, проверьте документацию MSDN