代码契约[Type]实现接口方法{interface.method},因此无法添加需求

我有以下场景:

public interface ISomething
{
    void DoStuff();
    //...
}

public class Something : ISomething
{
    private readonly ISomethingElse _somethingElse;
    //...

    public Something (ISomethingElse somethingElse)
    {
         Contract.Requires(somethingElse != null);
        _somethingElse = somethingElse;
    }

    public void DoStuff()
    {
        // *1* Please look at explanation / question below
        _somethingElse.DoThings();
    }
 }

当静态检查器打开时,我会得到一个警告 _somethingElse

[Type]实现接口方法{interface.method},因此无法添加需求

在这里做什么最好?我看到的选项包括

1. 一个保护条款,虽然它看起来是 有点极端
2. 一 Contract.Assume

请注意字段是 readonly 因此,在构造函数中设置值之后,不可能更改。因此,代码契约发出的警告似乎 一点 无关紧要。