Finally doing some real projects with code contracts
It's 9AM and I've already seen one SO question where the OP derives from List<T>
The count today is at 2 for deriving from List<T>.
After just a few days of Code Contracts in a real project I am _amazed_ at how thorough the static checker is
Code contracts are one of the few features that I've been excited about before using, and more excited about afterwards.
@jonskeet I wasted my quota this time campaigning for features I worked on to get into as many SKUs as possible.
@jonskeet Have to agree that contract interface inheritance is the best feature. Really nailed the substitution principal