Всем добрый вечер. У меня возникла следующая проблема - пытаюсь воспользоваться появившимися в C# 4 контрактами для проверки кода, но они почему-то не срабатывают. У меня есть следующий код:
public static string Type<T>(T some)
{
/* было бы очень здорово, если бы следующая строка выполнялась, чего она, однако, не делает */
Contract.Requires(some != null);
return some.GetType().ToString();
}
Работаю в Visual Studio 2012 Ultimate. Решарпер при этом любезно подсвечивает код серым цветом, сообщая, что Compiler will not generate method invocation because the method is conditional, or it's partial method wihout implementation. Вероятно, я что-то упустил, но вот что?