Code Contracts…are cool again!
Why, you ask?
Simply because now they’re usable from within any version of Visual Studio (though you’ll only have static checking if you’re using VSTS). I’m not sure on how I missed that announcement (ok, I missed it because I got really “depressed” after the initial requisites for using it and never looked back!), but now I’m really excited and will start migrating all my existing code for using this new platform…