Expansion Contract.Invariant(cce.NonNullElements(...)) cinn Emits a 'Contract.Invariant' non-null elements clause tabarbe
System.Diagnostics.Contracts collection collection whose elements must not be null arg