>I'm looking at the code contracts library included in .NET 4
>Anyone using this regularly and/or have opinions ?
>I'm currently working with VS Pro so, whilst I can see some benefit in the runtime checks, it seems to me that I'm missing the most useful facet (i.e. static checking).....
Where is that exactly? I never heard of that before.