*Updated* 3 April 2011: Update how to enable Intellisense for code contracts
There are more and more articles coming out about Code Contracts. Some of them talk only about input validation and miss the goal of Code Contracts. What else can we do with Code Contracts?
Figure: Real world validation message
Microsoft DevLabs says: Code Contracts express coding assumptions
What are coding assumptions?