class C<T> where T : class { }

class A
{
    static void Main()
    {
        new A().Foo<int>(1, null); // here
    }

    void Foo<T>(object x, object y) { }
    void Foo<T>(T x, C<T> y) where T : class { }
}