Definition at line 79 of file Contract.cs.
References System.Diagnostics.Contracts.Contract.AssertMustUseRewriter().