使用代码协定，我是否需要通过“确保”验证字段/属性初始化

using System.Diagnostics.Contracts;
class C
{
    public C(bool x)
    {
        Contract.Ensures(this.X == x);  // is this necessary?
        this.X = x;
    }
    public readonly bool X;  // could be a property instead,
}                            // I'm just trying to keep this example simple

此构造函数的要点是初始化字段，而合约仅捕获该意图。协定与它所适用的代码具有相同的复杂性。对我来说，这感觉是多余的，就好像我刚刚写了两次相同的代码(尽管从两个略有不同的角度(。

这种"微契约"是必要的，还是代码合约从方法体推断出这些？