System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute public sealed class ContractRuntimeIgnoredAttribute : Attribute Documentation Code public ContractRuntimeIgnoredAttribute()