Expansion Contract.Requires(Of ArgumentNullException)(.. IsNot Nothing) cren Emits a 'requires with ArgumentNullException' not null clause Jonathan de Halleux
System.Diagnostics.Contracts variable variable name arg