Let ReSharper and Code Contracts work together

Sun, 05 Jun 2011 23:55:00 +0200

ReSharper by default does not recognize Contract.Requires as an annotation hint, that the proofed condition furthermore is true.

So it comes to the effect, that using the following contract definition causes ReSharper to squiggle the next access and output a wrong hint:

Annotations on Marko Apfel