Expansion Contract.Requires(Of Exc)(...) cre Emits a 'Contract.Requires with exception' clause MaF
System.Diagnostics.Contracts exception Exception type ArgumentException condition precondition expression False