public void SetResultType(IType contractResultType) { Contract.Requires(contractResultType != null); _contractResultReference.SetTypeArguments(new[] { contractResultType }); }