c# - MemberInfo.DeclaringType 上出现奇怪的 Resharper 警告

Question

Resharper 告诉我 MemberInfo.DeclaringType 永远不能为空:

但是，当该代码运行时，会打印文本“Top level member”。我不明白，这里有什么问题？

Answer 1

Microsoft 代码契约(Contract)声明它永远不会为空。

// System.Reflection.MemberInfo
public virtual Type DeclaringType
{
    get
    {
        Contract.Ensures(Contract.Result<Type>() != null, null, "Contract.Result<Type>() != null");
        Type result;
        return result;
    }
}

因此，ReSharper 在这里依赖代码契约。