// TODO, once we support equals, this should work
public static void Test1()
{
var v = new GenericWithOld <string>();
var x = "foo";
v.Set(x);
Contract.Assert(v.Field == x);
}
// TODO, once we support Equals, this should pass
public static void Test2()
{
var v = new GenericWithOld <S>();
var s = new S(5, 6);
Contract.Assert(s.x == 5);
v.Set(s);
Contract.Assert(v.Field.y == 6);
}