Is it possible to use Code Contracts in Dynamics CRM 2011 Workflows?
The Contract Entity has the same name as Contract in System.Diagnostics.Contracts, but code contracts can still be used like this
System.Diagnostics.Contracts.Contract.Requires(i < 5);
I get this Warning:
Method 'CRV.AssociateEmail.Execute(System.Activities.CodeActivityContext)' overrides 'System.Activities.CodeActivity.Execute(System.Activities.CodeActivityContext)', thus cannot add Requires.