A generic method can use contravariant/covariant types?

Question

I\'m writting a generalized method to use it in a special task at a T4 template. The method should allow me to use specialized types from a general interface. I thought abou

Answer 1

Maybe you're looking for this:

interface IGreatInterface where U : IAnInterface
{ 
    Object aMethodAlpha(U parameter);
} 

class SomeClass : IAnInterface { /*...*/ }

class GreatClass : IGreatInterface
{
    public Object aMethodAlpha(SomeClass parameter) {}
}

EDIT:

Yes, you are right: if you define a generic method in an interface, you can't implement that method with a concrete method using a compatible type.

How about using a delegate (since delegates support co- and contravariance):

[example deleted because I got the variance backwards -- it doesn't work.]