Code Contracts Vs. Object Initializers (.net 4.0)
- by Mystagogue
At face value, it would seem that object initializers present a problem for .net 4.0 "code contracts", where normally the invariant should be established by the time the object constructor is finished. Presumably, however, object-initializers require properties to be set after construction is complete.
My question is if the invariants of "code…