In this video, Dmitri Nesteruk explains contract annotations: a new type of code annotations introduced in ReSharper 7 to help make ReSharper control flow analysis even more powerful and precise.
This is a part of What's New in ReSharper 7 - an all-in-one overview of features and improvements introduced in ReSharper 7.
If you like what you see in this video, please download the latest version of ReSharper.
»