.NET 4.0 will have code contracts, that will negate some of your issues. That and Pex will resolve a lot of these issues, that are more user error focussed features than langauge improvements per se