Chyba: Contract.Requires must use the rewriter

Ak aj Vy pokúšatie šťastie s novou funkcionalitou v C#4 - Code Contracts, tak ste sa asi pri prvom použití  stretli s chybou Contract.Requires<TException> must use the rewriter .

Chybu v kóde  nemáte, problém je v konfigurácii kompilátora.
Takže postup:

1. Doinštalovať extension do Visual Studia cez
http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx
Vyberte si verziu, podľa Vášho Visual Studia.

2. Nastaviť vlastnosť projektu -> záložka "Code Contracts", ktorá pribudla vďaka kroku 1 -> "Perform Runtime Contract Checking".