如何使代码契约相信变量不为空

我有一些工厂方法

    public T Create<T> () where T : class 
    {
        Contract.Ensures(Contract.Result<T>() != null);
        T result = this.unityContainer.Resolve<T>();
        return result;
    }

当我尝试构建项目时，我得到警告:

CodeContracts: ensure unproven: Contract.Result() != null

我理解IUnityContainer接口没有任何合同，所以代码合同认为变量可能为空，没有办法证明Create()将返回非空结果。

在这种情况下，我如何使代码契约相信结果变量不为空?

我先试着打电话给Contract。维护

    public T Create<T> () where T : class 
    {
        Contract.Ensures(Contract.Result<T>() != null);
        T result = this.unityContainer.Resolve<T>();
        Contract.Assert(result != null);
        return result;
    }

但是我需要另一个警告:

CodeContracts: assert unproven

我尝试make check for null，这会使所有警告消失:

    public T Create<T> () where T : class 
    {
        Contract.Ensures(Contract.Result<T>() != null);
        T result = this.unityContainer.Resolve<T>();
        if (result == null)
        {
            throw new InvalidOperationException();
        }
        return result;
    }

但我不确定这是手动抛出异常的好解决方案。可能有一些方法来解决问题，只使用代码合同?

谢谢。