Bass said:
vesuvius said:

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...