> Jolly good, and I'm all in favour of better tool support for contracts, but that still can't "ensure quality code".

It all depends on how you define "quality".

And your down-votes could be attributed to the topic of the thread. Anything that casts doubt over Microsoft's One True Way is not welcome in certain message threads.