5 ms·

Code contracts might be enforced using assert macros, I guess this would achieve more or less the same effect, right?

• Too 14y ago
  No. assert() validates at run-time. Contracts at compile-time.