An erload:System.Diagnostics.Contracts.Contract.Ensures contract failed.
Syntax
ContractFailureKind Postcondition
Requirements
Namespace: System.Diagnostics.Contracts
Assembly: mscorlib (in mscorlib.dll)
Assembly Versions: 4.0.0.0
Assembly: mscorlib (in mscorlib.dll)
Assembly Versions: 4.0.0.0