We’ve mentioned Code Contracts over on the BCL Blog a few times now, but never yet on the CLR Blog. Basically, Code Contracts are a way to add preconditions, post-conditions, and object invariants to your code. The goal is to help you catch developer errors earlier in the cycle. In my Introduction to Code Contracts post...