public void Test0(SomeClassWithTwoConstructors_ShouldWarn obj) { Contract.Requires(obj != null); var str = obj.TheString; Contract.Assert(str != null); // should warn }
public void Test0(SomeClassWithTwoConstructors_ShouldWarn obj) { Contract.Requires(obj != null); var str = obj.TheString; Contract.Assert(str != null); // should warn }