Esempio n. 1
0
        // 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);
        }
Esempio n. 2
0
        // 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);
        }