Contract Ensures unproven for GUID

Question

I m having a ensures unproven: !ReferenceEquals(Contract.Result<T>(), null) that contract is on an interface I have no control of

my implementation is something like this

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

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

        return guid;
    }

I tired with contract assumes instead of the if and some variations of the code above, but still getting the warning, any ideas? Cheers

Your question doesn't seem to be complete. A Guid is a valuetype and can't be null anyway. — Mark H, Jan 14 '11 at 12:22
I know, this is why the ensures unrpoven is a bit of a mistery to me — roundcrisis, Jan 14 '11 at 12:45

score 1 · Accepted Answer · answered Jan 17 '11 at 04:00

1

Seems like this is an interaction with the generic types. If you fix the type to Guid it works fine... I think this is a bug in Code Contracts, so I've filed a question on the Code Contracts forum.

answered Jan 17 '11 at 04:00

porges

30,133
4
83
114

Contract Ensures unproven for GUID

1 Answers1