C#编译器是如何判定某个变量没有使用过的？

这是我们某个组员在编程过程中提出的疑问。因为这个编译错误很容易避免，所以我一直也没有仔细想过这个问题，直到看过他的代码后才意识到，此问题并不是那么简单的。

先看看这段代码：

class Program
{
    static void Main(string[] args)
    {
        byte[] buf = new byte[1024];
        T t = new T();
        string str = "1234";
        int n = 1234;
        int? nn = 1234;
        DateTime dt = DateTime.Now;
        object o = 1234;

        Console.WriteLine("finish");
    }
}

class T { }