Bass said:vesuvius said:*snip*
I took a look at the System.Diagnostics.Contracts namespace, and it's seriously a very small interface. I assume most of the work implementing Code Contracts is modifying the compiler?
The C# compiler has not been modified to support design by contract, right? This is a library implementation. But I could be wrong...