Отключить кодовые предупреждения о контрактах

Question

Я хочу отключить предупреждение кода контракта, но только для определенных строк кода.Как мне это сделать?

Например, я получаю:

Warning 87  CodeContracts: requires unproven: key != null   

для:

return HttpContext.Current.Items[typeof(T).AssemblyQualifiedName];

, что никогда не произойдет в наших приложениях.

Answer 1

Ну, один из вариантов будет:

string key = typeof(T).AssemblyQualifiedName;
Contract.Assume(key != null);
return HttpContext.Current.Items[key];

Это немного некрасиво, но я считаю, что это должно сработать.