public void Test0(SomeClassWithTwoConstructors_AndFieldCannotBeNull obj) { Contract.Requires(obj != null); var str = obj.TheString; Contract.Assert(str != null);// no warning }
public void Test0(SomeClassWithTwoConstructors_AndFieldCannotBeNull obj) { Contract.Requires(obj != null); var str = obj.TheString; Contract.Assert(str != null);// no warning }