These are chat archives for Microsoft/CodeContracts
usingdeclarations you have in the current file so you have to fully-qualify all your type names.
do you know why the download has the same filename every time?
Since the project was only recently exposed to the community, we're so focused on what that any question of why is answered with "because that's how it is."
will cc benefit much from roslyn?
Hard to say. There is serious potential for analyzers/code fixes to integrate with usage of the
Contract class. Work was started on it, but it was implemented against a very old (and very different) API that later became what we know as Roslyn.