public static void testDouble()
        {
            var m = new MissingConstructorInitializations();

            Contract.Assert(m.double1 == 790.0691);
            Contract.Assert(m.double2 == 0.0);
        }
        public static void testFloat()
        {
            var m = new MissingConstructorInitializations();

            Contract.Assert(m.float1 == 1.60f);
            Contract.Assert(m.float2 == 0.0f);
        }
        public static void testRef()
        {
            var m = new MissingConstructorInitializations();

            Contract.Assert(m.ref1 == m);
            Contract.Assert(m.ref2 == null);
        }
        public static void testInt()
        {
            var m = new MissingConstructorInitializations();

            Contract.Assert(m.int1 == 150);
            Contract.Assert(m.int2 == 0);
        }
        public static void test1()
        {
            var m = new MissingConstructorInitializations();

            Contract.Assert(m.bool1 == true);
            Contract.Assert(m.bool2 == false);
        }
 public MissingConstructorInitializations()
 {
     ref1 = this;
 }