These are chat archives for Microsoft/CodeContracts

Jan 2017
Jeroen Mostert
Jan 11 2017 11:01
I'm going to go with "intrinsically hopeless". This is buried in the bowels of CCI somewhere and I really don't feel like untangling that mess. Realistically, a Roslyn extension should take care of rewriting and ccrewrite could then be left for everything Roslyn can't handle, but that project is a little out of scope at the moment. For now, I'll simply give up on rewriting and migrate the codebase to if-then-throw.