Mm, maybe it is only fair to point out that in many sources, e.g. at https://blogs.msdn.microsoft.com/dotnet/2015/02/03/coreclr-is-now-open-source/
I had a look and notice most of the Code Contracts are commented out. Will this be fixed at some point?
No, we currently don't have plans to bring in code contracts.
Use Debug.Assert() to assert a condition in the code. Do not use Code Contracts (e.g. Contract.Assert).