Почему этот призыв неоднозначен?

Question

Может кто-нибудь объяснить, почему следующий код выдает ошибку? (Компиляция в Microsoft Visual Studio 2008)

class Base1 {  };
class Base2 {  }

interface I1   {   }
interface I2   {   }

class C : I1, I2 { }

static class Program
{

    static T M1<T>(this T t, I1 x) where T : Base1
    {
        return t;
    }

    static T M1<T>(this T t, I2 x) where T : Base2
    {
        return t;
    }

    static void Main(string[] args)
    {
        Base1 b1 = new Base1();
        C c = new C();
        b1.M1(c);
    }
}

ошибка

Вызов неоднозначен между следующими методами или свойствами: 'ConsoleApplication1.Program.M1<ConsoleApplication1.Base1>(ConsoleApplication1.Base1, ConsoleApplication1.I1)' и 'ConsoleApplication1.Program.M1<ConsoleApplication1.Base1>(ConsoleApplication1.Base1, ConsoleApplication1.I2)'

Я думал, что компилятор может различать два метода, используя предложения "where"

Answer 1

Ограничения не являются частью сигнатуры методов и, следовательно, не используются для разрешения.

Answer 2

Ограничения не являются частью подписи.Подробности см. В статье Эрика Липперта на тему .

.

Answer 3

Ограничение нельзя использовать для разрешения ассоциации.