Expansion Contract.Requires<ArgumentNullException>(.. != null) cren Emits a 'requires with exception' not null clause Jonathan de Halleux
System.Diagnostics.Contracts variable variable name arg ($variable$ != null, "$variable$");$end$]]>