Здравствуйте, romangr, Вы писали:

R>Насколько я помню нужно весь call graph внутри CER помечать ReliabilityContractAttribute, методы List__Remove и List__PushFront должны стать типа

Oh sh... Понакрутят жеж...

У меня почему то в голове стойкое представление что CER — это флаг, который возводится в текущем потоке и не дает его прервать всяким асинхронным исключениям...

Из проблем, с которыми я сталкивался — из finally (CER) нельзя просто так взять и вызвать (виртуальный метод) Dispose. Но можно вызвать обычный/статический метод, который без проблем вызывает Dispose.