Désactiver l'avertissement de contrats de code

Question

Je souhaite désactiver un avertissement de contrat de code, mais uniquement pour des lignes de code spécifiques. Comment je fais ça?

Par exemple, je reçois:

Warning 87 CodeContracts: requires unproven: key != null 

pour:

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

qui ne se produira jamais dans nos applications.

Answer 1

Eh bien, une option serait:

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

Il est un peu moche, mais je crois que cela devrait fonctionner.