The System.Diagnostics.Contracts.Internal namespace provides classes that the binary rewriter can use to handle a contract failure.
Provides methods that the binary rewriter uses to handle contract failures.