These are chat archives for Microsoft/CodeContracts
The problem with #36 and #60 was a lots of conflicting issues with each other. That's why I did it wrong. I'll try to avoid this in the future. I actually asked to rebased those PR's waited for a couple of days. I thought I'm done with with all VS2015 support that's why I was a bit in a rush.
The problem with those PR's (aside that they was stale) that they only partially solve some problem. This means that merging only one of them led repo to intermediate and not workable state :(