合同确保GUID未经证实

Question

我确保未经证实：!ReferenceEquals(Contract.Result<T>(), null) 合同是在我无法控制的界面上

我的实现是这样的

    public Guid Blah()
    {
        var guid = Guid.NewGuid();

        if(ReferenceEquals(guid, null))
        {
            throw new ApplicationException("This shoul");
        }

        return guid;
    }

我厌倦了合同假设而不是上面代码的if和一些变化，但仍然得到警告，任何想法？ 干杯

Answer 1

似乎这是与泛型类型的交互。如果您将类型修改为Guid，它可以正常工作......我认为这是代码合同中的错误，因此我已经提交了a question on the Code Contracts forum。