查找代码问题错过了明显的错误？

Question

我想知道，resharper的代码分析工具怎么会在这里找不到明显的空引用异常？

namespace WindowsFormsApplication1
{
    public class TestClass
    {
        public TestClass()
        {
            TestCollection.Add(new object());
        }

        public Collection<object> TestCollection
        {
            get;
            set;
        }
    }
}

我理解该属性可以初始化，但它肯定不会在这里。它可以检测到这个吗？它也不是实例化它的基类的一部分。

以下内容确实提供了一个.NET编译警告，其中包含代码问题列表：

namespace WindowsFormsApplication1
{
    public class TestClass
    {
        public TestClass()
        {
            TestCollection.Add(new object());
        }

        private Collection<object> TestCollection;
    }
}

是因为任何属性getter或方法调用都可以初始化集合，因此他们认为确定它是否实际分配太难了？ （但这恰好是一个简单的案例）