なぜC＃コンパイラーはこのネストされたLINQクエリで狂ってしまうのですか？

次のコードをコンパイルしてみてください。コンパイラが3 GBを超えるRAM（私のマシンのすべての空きメモリ）とコンパイルに非常に長い時間がかかることがわかります（実際、10分後にIO例外が発生します）。

using System;
using System.Linq;

public class Test
{
    public static void Main()
    {
        Enumerable.Range(0, 1).Sum(a =>
        Enumerable.Range(0, 1).Sum(b =>
        Enumerable.Range(0, 1).Sum(c =>
        Enumerable.Range(0, 1).Sum(d =>
        Enumerable.Range(0, 1).Sum(e =>
        Enumerable.Range(0, 1).Sum(f =>
        Enumerable.Range(0, 1).Count(g => true)))))));
    }
}

誰かがこの奇妙な行動を説明できますか？

CSバージョン：Microsoft（R）Visual C＃コンパイラバージョン4.0.30319.17929
OS名：Microsoft Windows 7 Ultimate
OSバージョン：6.1.7601 Service Pack 1 Build 7601

これは、型の推論および/またはラムダの生成（型の推論が通常とは逆方向に進む必要がある場合）に関連し、過負荷の解決と組み合わせられていると思います。残念ながら、型パラメーターを指定するだけでは状況が改善されません（おそらく型チェックを実行する必要がある場合）。

次のコードは、ラムダが分析された後、論理的には同等のコードになるはずですが、問題なくコンパイルされます。

static void Main()
{
    var x = Enumerable.Range(0, 1).Sum(a);
}

private static int a(int a)
{
    return Enumerable.Range(0, 1).Sum(b);
}
private static int b(int b)
{
    return Enumerable.Range(0, 1).Sum(c);
}
private static int c(int c)
{
    return Enumerable.Range(0, 1).Sum(d);
}
private static int d(int d)
{
    return Enumerable.Range(0, 1).Sum(e);
}
private static int e(int e)
{
    return Enumerable.Range(0, 1).Sum(f);
}
private static int f(int f)
{
    return Enumerable.Range(0, 1).Count(g);
}
private static bool g(int g)
{
    return true;
}

Eric Lippertが以前に投稿したと思いますが、その型推論はC＃コンパイラーの（特定の問題）コンパイラーにNP-Complete問題の解決を強制する可能性がある場所の1つであり、（ここにあるように）その唯一の実際の戦略はブルートフォースです。関連する参考文献が見つかれば、ここに追加します。

私は見つけることができる最高の参照があり、ここでエリックのは、それが本当のコストが発生するオーバーロードの解決の仕事だということを議論する場所-覚えて、Enumerable.Sumはラムダ/メソッドを受け入れる10のオーバーロードがあります。