作为函数参数继承泛型

我该怎么做呢?

class A { }
class B : A { }
class X<T> where T : A { }
class Y<T> : X<T> where T : A { }
private static void f(X<A> x) { }
public static void Main(string[] args)
{
    Y<B> y = new Y<B>();
    f(y); // Compiler error here
}

Y继承自X, B继承自A，但没有被编译

private static void f<T>(X<T> x) where T : A { }