Inherited generic как функциональный параметр

Question

Как это сделать?

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, но оно не скомпилируется.

Answer 1

Изменить определение функции для:

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

Как вы определили, вы говорите, что f() должен быть передан экземпляр X<A>. Определив, как я показал здесь, вы говорите, что f() принимает любой класс, который имеет X<A> в качестве родителя.