C# genéricos: el uso de clase genérica en la cláusula WHERE de método genérico

Question

Puede alguien explicar por qué no es esto posible (al menos en .Net 2.0):

public class A<T> 
{ 
    public void Method<U>() where U : T 
    { 
     ... 
    } 
} 

... 

A<K> obj = new A<K>(); 
obj.Method<J>(); 

con K siendo la superclase de J

EDIT

He tratado de simplificar el problema para hacer la pregunta más legible, pero claramente exagero. ¡Lo siento!

Mi problema es un poco más específico, supongo. Este es mi código (basado en this):

public class Container<T> 
{ 
    private static class PerType<U> where U : T 
    { 
     public static U item; 
    } 

    public U Get<U>() where U : T 
    { 
     return PerType<U>.item; 
    } 

    public void Set<U>(U newItem) where U : T 
    { 
     PerType<U>.item = newItem; 
    } 
} 

y estoy recibiendo este error:

Container.cs(13,24): error CS0305: Using the generic type Container<T>.PerType<U>' requires 2' type argument(s)

Answer 1

En realidad es posible. Este código se compila y se ejecuta muy bien:

public class A<T> 
{ 
    public void Act<U>() where U : T 
    { 
     Console.Write("a"); 
    } 
} 

static void Main(string[] args) 
{ 
    A<IEnumerable> a = new A<IEnumerable>(); 
    a.Act<List<int>>(); 
} 

Lo que no es posible es el uso de covarianza/contravarianza en los genéricos, como se explica here:

IEnumerable<Derived> d = new List<Derived>(); 
IEnumerable<Base> b = d; 

Answer 2

Funciona para mí (VS 2008).

¿Tiene algún problema con la visibilidad de clase? (clase no pública, espacio de nombres incorrecto)

¿Cuál es el mensaje de error que está recibiendo?

---

ACTUALIZACIÓN

Dada su implementación de Container<T> Puedo escribir

class A { } 
class B : A { } 

class Test 
{ 
    public void MethodName() 
    { 
     var obj = new Container<A>(); 
     obj.Set(new B()); 
    } 
} 

Esto funciona perfectamente. ¿Estás seguro de que B deriva de A? Tenga en cuenta que, por ejemplo, List<B> NO deriva de List<A> (consulte la respuesta de YavgenyP).

---

El mensaje de error podría ser una pista, que le dice que existe otra Container<T> en otro espacio de nombres que requiere un segundo argumento tipo para PerType<U, X??? >.