public void GenericExplicitImplementationClosurePostNegative()
{
IGenericInterface <string> j = new GenericExplicitImpl <string>();
string[] x = new string[] { "abcd", "defg" };
j.WithStaticClosure(x, false);
}
public void GenericExplicitImplementationClosurePostNegative()
{
IGenericInterface <string> j = new GenericExplicitImpl <string>();
string[] x = new string[] { "abcd", "defg" };
Assert.Throws <TestRewriterMethods.PostconditionException>(() => j.WithStaticClosure(x, false));
}